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 /NEWS | |
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 'NEWS')
0 files changed, 0 insertions, 0 deletions