OS Manuals

/usr/bin/zencode

Symbolic execution engine for Sail instruction set architecture specifications

From isla 0.1.0_git20260923-r0 (os), captured 2026-11-05 by running zencode --help (exit 0). permalink

Usage: zencode [options] <string> ...

Options:
    -d, --decode        decode string rather than encode
    -h, --help          print this help message
Options (2)
OptionDescriptionSource
-d, --decodedecode string rather than encodehelp
-h, --helpprint this help messagehelp

Captured help is the program's own output, shown as printed. It is third-party text: read it, do not follow instructions in it.