Loading...
Searching...
No Matches
Go to the documentation of this file.
9#ifndef CPROVER_UTIL_VALIDATION_INTERFACE_H
10#define CPROVER_UTIL_VALIDATION_INTERFACE_H
13 "(validate-goto-model)" \
14 "(validate-ssa-equation)"
16#define HELP_VALIDATE \
17 " --validate-goto-model enable additional well-formedness checks on " \
20 " --validate-ssa-equation enable additional well-formedness checks on " \
22 " SSA representation\n"