cprover
Loading...
Searching...
No Matches
validation_interface.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Goto program validation common command line options
4
5Author: Daniel Poetzl
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_VALIDATION_INTERFACE_H
10#define CPROVER_UTIL_VALIDATION_INTERFACE_H
11
12#define OPT_VALIDATE \
13 "(validate-goto-model)" \
14 "(validate-ssa-equation)"
15
16#define HELP_VALIDATE \
17 " --validate-goto-model enable additional well-formedness checks on " \
18 "the\n" \
19 " goto program\n" \
20 " --validate-ssa-equation enable additional well-formedness checks on " \
21 "the\n" \
22 " SSA representation\n"
23
24#endif /* CPROVER_UTIL_VALIDATION_INTERFACE_H */