projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ee5f22) | patch
Fix for learned rewrite pass, add regression (#6850)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 12 Jul 2021 19:18:17 +0000 (14:18 -0500)
committerGitHub <noreply@github.com>
Mon, 12 Jul 2021 19:18:17 +0000 (19:18 +0000)
commit7d1c5cbef46f316d044a73ad11fac8a64c864f2c
treeb463b0b315dd2c7b7a9b270aa0ed450c94871fe8tree
parent3ee5f2212f287046ab9cda62174eb58ea9561d42commit | diff
Fix for learned rewrite pass, add regression (#6850)

Fixes #4791.
src/preprocessing/passes/learned_rewrite.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/nl/issue4791-llr.smt2 [new file with mode: 0644] blob