projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4498975) | patch
Dump models for isNotEntailed results (#7071)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 26 Aug 2021 16:32:09 +0000 (11:32 -0500)
committerGitHub <noreply@github.com>
Thu, 26 Aug 2021 16:32:09 +0000 (16:32 +0000)
commit6cf3a69a9afd68922d67941c6fd2b877df45ecb9
treecc52786d93e3824c089eee044579d066c459e67atree
parent44989759e897b74256f406606dd2a61a8eced365commit | diff
Dump models for isNotEntailed results (#7071)

This fixes a minor issue where models should be dumped for "not entailed" results. This fix was required when preparing the submission to CASC this year.
src/main/command_executor.cpp diff | blob | history
src/smt/proof_manager.cpp diff | blob | history