projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6140808) | patch
Fix congruence check in strings, fixes bug 686.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 15 Oct 2015 15:58:35 +0000 (17:58 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 15 Oct 2015 15:58:35 +0000 (17:58 +0200)
commit8914ff73f09a0e0b4c3bc40107c9345c8ea43760
treed22fac337ff105dd35c6cd65b18b928928205bc5tree
parent614080814375998f494adc839484f455b31a5f43commit | diff
Fix congruence check in strings, fixes bug 686.
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/bug686dd.smt2 [new file with mode: 0644] blob