diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-05-12 13:08:53 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-05-12 13:08:53 -0400 |
| commit | a1c21f921fdced67f65c2efc524363a87242c4e4 (patch) | |
| tree | 2ba7bdd07007c2ea03eea4c2512b8d21d4a3ef21 /src/theory/arith/options | |
| parent | dbf88c2aea4df4b124da8d68f31e03c09ec897f2 (diff) | |
Merging in additional glpk options and statistics from CAV submission.
Diffstat (limited to 'src/theory/arith/options')
| -rw-r--r-- | src/theory/arith/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/arith/options b/src/theory/arith/options index cf35265d6..6a9005a9a 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -148,4 +148,7 @@ option soiApproxMinorFailure --replay-soi-minor-threshold double :default .0001 option soiApproxMinorFailurePen --replay-soi-minor-threshold-pen int :default 10 threshold for a minor tolerance failure by the approximate solver +option ppAssertMaxSubSize --pp-assert-max-sub-size unsigned :default 2 + threshold threshold for substituting an equality in ppAssert + endmodule |