projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e2d6b6) | patch
Remove `UnknownExplanation::NO_STATUS` (#8518)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 1 Apr 2022 12:36:48 +0000 (05:36 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 12:36:48 +0000 (12:36 +0000)
commit6987d112496849d72b34d93d482c3555d1634fea
treea3d31e0396a15b55caa2470418e74d5ec5c9557ctree
parent2e2d6b623c919e086a53fddfbcece9c22d50f5b3commit | diff
Remove `UnknownExplanation::NO_STATUS` (#8518)

Result already supports storing a NONE result, so
UnknownExplanation::NO_STATUS seems redundant. This removes that
explanation, which was only being used in the optimization solver.
src/api/cpp/cvc5_types.cpp diff | blob | history
src/api/cpp/cvc5_types.h diff | blob | history
src/smt/optimization_solver.h diff | blob | history