projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b63e4a1) | patch
oops, reverting a change to a regression test that had intentionally caused a typeche...
authorMorgan Deters <mdeters@gmail.com>
Thu, 7 Oct 2010 22:58:17 +0000 (22:58 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 7 Oct 2010 22:58:17 +0000 (22:58 +0000)
commit8572eb7eddcd373acb73a1f2718cfd8d5c8c6a01
tree165d9370bb132ef2c6b68f4d7f0d823787d09435tree
parentb63e4a11733051728397f7d4ecb3b205fbd81dabcommit | diff
oops, reverting a change to a regression test that had intentionally caused a typechecking violation
test/regress/regress0/simple-rdl-definefun.smt2 diff | blob | history