projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6f6295) | patch
Improvements to debug check model (#6861)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 12 Jul 2021 17:20:57 +0000 (12:20 -0500)
committerGitHub <noreply@github.com>
Mon, 12 Jul 2021 17:20:57 +0000 (10:20 -0700)
commitb71bf740b517c3a530d92c33bd24769330708d76
treea3a772f8d3b8254ffa80f783b8cf6ccd951f5ddctree
parenta6f629584c25faf34dbb9bc1c044aa0db57713efcommit | diff
Improvements to debug check model (#6861)

This makes it so that debug-check-models applies in production mode, not just in debug mode. It also verifies that type constraints are met.
src/theory/model_manager.cpp diff | blob | history
src/theory/theory_model_builder.cpp diff | blob | history