projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba522e6) | patch
fix rewrite-rules syntax in regression
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 15:14:36 +0000 (15:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 15:14:36 +0000 (15:14 +0000)
commit03b766ec1f86976d602988581e5e47dbed31952c
treecd348a48b5c80bd7cf104c1b96a5c754f29e9717tree
parentba522e64d0e9975cee8e3d33328e32c3b27ecd71commit | diff
fix rewrite-rules syntax in regression
test/regress/regress0/push-pop/bug326.smt2 diff | blob | history