Ehsan Nasiri da4ae05638 Add command line options struct for the validator ... The limit for the number of struct members is parameterized using command line options. Add --max-struct-depth command line option. Add --max-switch-branches command line option. Add --max-function-args command line option. Add --max-control-flow-nesting-depth option. Add --max-access-chain-indexes option.		2017-02-28 12:00:06 -05:00
..
val.cpp	Add command line options struct for the validator	2017-02-28 12:00:06 -05:00