diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2015-12-30 22:38:13 -0800 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-12-30 22:39:13 -0800 |
| commit | 395e05c2c443845c71dd1fdbb3eae26a68f15520 (patch) | |
| tree | cabd2c720cc4097f41f5883408b21abb2c456eba /src/main/Makefile | |
| parent | fa7f30a4ba08afe066604daee87006b4fb5f21f7 (diff) | |
Modified tear-down-incremental option to take an integer - the integer is the
number of times a check must be executed before the system is reset.
Diffstat (limited to 'src/main/Makefile')
0 files changed, 0 insertions, 0 deletions