projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42dd10f) | patch
Fix issue #5269 (#5270)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Wed, 14 Oct 2020 23:02:27 +0000 (18:02 -0500)
committerGitHub <noreply@github.com>
Wed, 14 Oct 2020 23:02:27 +0000 (18:02 -0500)
commitae8e63d4be5fb217766ae7ef8a8dd37fd6b3f189
tree7c17346a84ef3584656bab066eb7b6c74d3aa597tree
parent42dd10f9936c6a9be158842f482cc7ebd4a972edcommit | diff
Fix issue #5269 (#5270)

This PR fixes issue #5269 of unnecessary calling TheorySetsRels::areEqual in a product relation (which compares the rightmost element of the first child with the leftmost element in the second child). This may violate an assertion in TheorySetsRels::areEqual that the types of the 2 elements should be the same
src/theory/sets/theory_sets_rels.cpp diff | blob | history