projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39b607b) | patch
Add unit test for fixed issue (#8235)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 4 Mar 2022 23:09:49 +0000 (00:09 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 23:09:49 +0000 (23:09 +0000)
commit511b76518b634e6fb6a4ed2f4bcf62358e398559
treefc960934c0a958a38ade1d159f4efafe4b703902tree
parent39b607b9c93bc14048bbbff543e8d16534c606f0commit | diff
Add unit test for fixed issue (#8235)

This unit test exercised a non-idempotent rewrite for RANs before the rewriter was fully refactored.
Fixed cvc5/cvc5-projects#455
test/unit/api/cpp/theory_arith_nl_black.cpp diff | blob | history