projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6937d6a) | patch
Fix issue 5271 (#5335)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Sat, 24 Oct 2020 14:16:52 +0000 (09:16 -0500)
committerGitHub <noreply@github.com>
Sat, 24 Oct 2020 14:16:52 +0000 (09:16 -0500)
commit0a4ee1ac60e6b914ca8173c773eb9db54cdf0f61
tree04171a29b35069bac913785daf30a188720b004ctree
parent6937d6afe65ae3e51f514ca463f95faa3feda7aacommit | diff
Fix issue 5271 (#5335)

This PR fixes #5271 by splitting on the equality of set members which ensures members are distinct when collectModelInfo is called.
Co-authored-by: Andrew Reynolds andrew-reynolds@uiowa.edu
src/theory/sets/theory_sets_private.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sets/issue5271.smt2 [new file with mode: 0644] blob