projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84af373) | patch
Fix minor bug in sets rewriter
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 16:50:45 +0000 (09:50 -0700)
committerAndres Noetzli <noetzli@stanford.edu>
Mon, 15 May 2017 16:50:45 +0000 (09:50 -0700)
commitfdef54aaa36793cb9314dea3830879e051db2aa8
treee891a13b92dd42ad578b90340e61637f3651ace4tree
parent84af3731aa40e2e6f9281827af87350a2cb44ea1commit | diff
Fix minor bug in sets rewriter

As reported by Coverity, one of the switches in the sets rewriter had a missing
break. This could lead to an assertion failure when rewriting the cardinality
of a transpose as in the test case included in this commit.
src/theory/sets/theory_sets_rewriter.cpp diff | blob | history
test/regress/regress0/rels/Makefile.am diff | blob | history
test/regress/regress0/rels/card_transpose.cvc [new file with mode: 0644] blob