cprover
Loading...
Searching...
No Matches
validation_interface.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Goto program validation common command line options
4
5
Author: 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 */
util
validation_interface.h
Generated by
1.9.6