projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8914ff7) | patch
Fix for codatatype constant rewrite, add regression.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 16 Oct 2015 09:17:00 +0000 (11:17 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 16 Oct 2015 09:17:00 +0000 (11:17 +0200)
commitb2c093f53f446479d38e49a051e8bd6133bd4ae0
tree2eb28c524a30d3809c407a8418ceb4f98b41fb45tree
parent8914ff73f09a0e0b4c3bc40107c9345c8ea43760commit | diff
Fix for codatatype constant rewrite, add regression.
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/datatypes/sc-cdt1.smt2 [new file with mode: 0644] blob