projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33c1c51) | patch
Fix theoryOf call in get equality status (#8279)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 10 Mar 2022 20:41:26 +0000 (14:41 -0600)
committerGitHub <noreply@github.com>
Thu, 10 Mar 2022 20:41:26 +0000 (20:41 +0000)
commit84cb773e072548dffd24b570a01cb8aefc7112ac
treeef590a4dd324dac72dfeae48cf5b201ba00ab911tree
parent33c1c517f6d4a052cc669f8e11cb80bf63fae2c9commit | diff
Fix theoryOf call in get equality status (#8279)

Should depend on uninterpreted sort owner.

Fixes cvc5/cvc5-projects#476.
src/theory/shared_solver_distributed.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/proj-issue476-theoryOf-no-uf.smt2 [new file with mode: 0644] blob