cprover
|
Go to the source code of this file.
Macros | |
#define | MUSKETEER_VERSION "0.37" |
#define MUSKETEER_VERSION "0.37" |
Definition at line 4 of file version.h.
Referenced by goto_fence_inserter_parse_optionst::doit(), and goto_fence_inserter_parse_optionst::help().