projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9f47b4) | patch
A more informative error message when a theory is not yet supported by the proof...
authorguykatzz <katz911@gmail.com>
Wed, 31 May 2017 18:36:05 +0000 (11:36 -0700)
committerguykatzz <katz911@gmail.com>
Wed, 31 May 2017 18:36:05 +0000 (11:36 -0700)
commitd121faf54238a0859cdc2cf1d3d2889631cbfa3a
treec6313c3e5ace4aa9afec2423658511dc0f9fe41atree
parentb9f47b4c948e2aab68303a14903e60bee0a449b8commit | diff
A more informative error message when a theory is not yet supported by the proof infrastructure (e.g., quantifiers)
src/proof/theory_proof.cpp diff | blob | history