projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84cb773) | patch
Fix issue with subtyping from set membership in models (#8282)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 10 Mar 2022 22:30:10 +0000 (16:30 -0600)
committerGitHub <noreply@github.com>
Thu, 10 Mar 2022 22:30:10 +0000 (22:30 +0000)
commitd08ee0c791ef930386dccf3fa394b820d6bd11d2
tree4ec6abd8e5bc1857a6100d6c781d6e934aa59d6ctree
parent84cb773e072548dffd24b570a01cb8aefc7112accommit | diff
Fix issue with subtyping from set membership in models (#8282)

Fixes cvc5/cvc5-projects#480.

That benchmark now times out.
src/theory/sets/theory_sets_private.cpp diff | blob | history