diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-20 00:05:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-20 00:05:58 -0500 |
| commit | 927066eaecfc2c6f00aa1aca695b68e70164aae3 (patch) | |
| tree | 7456a1ec973f80aa806b66a8a2c6b6a8dfc3b4ba /src/theory | |
| parent | 7b4084440bd9dde894ff46c2ba0197fed41d91d1 (diff) | |
Use debug-check-model to enable internal debugging in check-model (#4480)
Notice this also updates our regression script to use --debug-check-model, preserving previous behavior.
Fixes #4461, fixes #4470, fixes #4471, fixes #4475, fixes #4448, fixes #4466, fixes #4460, fixes #4458, fixes #4455, fixes #4456, fixes #4386, fixes #4385, fixes #4478, fixes #4474.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/theory_model_builder.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_model_builder.cpp b/src/theory/theory_model_builder.cpp index 68ad25490..e829c1db4 100644 --- a/src/theory/theory_model_builder.cpp +++ b/src/theory/theory_model_builder.cpp @@ -1115,7 +1115,7 @@ void TheoryEngineModelBuilder::postProcessModel(bool incomplete, Model* m) TheoryModel* tm = static_cast<TheoryModel*>(m); Assert(tm != nullptr); // debug-check the model if the checkModels() is enabled. - if (options::checkModels()) + if (options::debugCheckModels()) { debugCheckModel(tm); } |