projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23d8c82) | patch
Adding a couple of example from fuzzsmt to regress1.
authorTim King <taking@cs.nyu.edu>
Sat, 29 May 2010 22:48:01 +0000 (22:48 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 29 May 2010 22:48:01 +0000 (22:48 +0000)
commitaa21ac1746612b646e464615d4eeb07586f4ed36
tree19db0931baca81b3552f36809b3a443380822733tree
parent23d8c824a5aa9db6bdf6c19fb9270a25bf171043commit | diff
Adding a couple of example from fuzzsmt to regress1.
test/regress/regress1/Makefile.am diff | blob | history
test/regress/regress1/fuzz_1.smt [new file with mode: 0644] blob
test/regress/regress1/fuzz_2.smt [new file with mode: 0644] blob