projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b36892) | patch
Fix dump-unsat-cores-full (#4303)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Apr 2020 15:52:01 +0000 (10:52 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 15:52:01 +0000 (10:52 -0500)
commitad8729d3a0060ed635b8a82e9ed323966cc2f49d
tree78c5ea5b46bf22498801328f706b9f94a572c1e2tree
parent3b36892dec58f945b7e724395c53a288f9d2d0efcommit | diff
Fix dump-unsat-cores-full (#4303)

This adds a fix to ensure dump-unsat-cores-full works by modifying the public options function. This options currently does not work since dumpUnsatCores is only set internally now. This fix is only required until options are refactored so that SmtEngine owns the authoritative copy of options.
src/options/options_public_functions.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/dump-unsat-core-full.smt2 [new file with mode: 0644] blob