diff options
| author | Matthew Sotoudeh <sotoudeh@stanford.edu> | 2022-01-07 09:02:30 -0800 |
|---|---|---|
| committer | Matthew Sotoudeh <sotoudeh@stanford.edu> | 2022-01-07 09:02:30 -0800 |
| commit | 2baf1567149d40ea951b7eccd5fdc36aaeb88f23 (patch) | |
| tree | 8e0cdfb4240aa128f89c946c4a4e1287710b142b /matthew_test.sh | |
| parent | 5b47d4cd09ba93b40ac303d8825a5a2593e97fa7 (diff) | |
Revert "Working on incremental solving"
This reverts commit 5b47d4cd09ba93b40ac303d8825a5a2593e97fa7.
See branches starter-*-inc instead
Diffstat (limited to 'matthew_test.sh')
| -rwxr-xr-x | matthew_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/matthew_test.sh b/matthew_test.sh index 066fe0fdb..9f9eb3460 100755 --- a/matthew_test.sh +++ b/matthew_test.sh @@ -3,7 +3,7 @@ set -e RUN_SIMPLE=false -GET_STATS=false +GET_STATS=true RUN_SMTLIB=500 TIMEOUT_SMTLIB=5m |