Go to the documentation of this file. 9 #ifndef CPROVER_UTIL_VALIDATION_INTERFACE_H 10 #define CPROVER_UTIL_VALIDATION_INTERFACE_H 12 #define OPT_VALIDATE \ 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"