projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69f9580) | patch
removing the 100 integer benchmarks from regress0, too many
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 7 Feb 2012 16:20:52 +0000 (16:20 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 7 Feb 2012 16:20:52 +0000 (16:20 +0000)
commit0647474e9b8ab6b147551e52cb7d497a80b37a13
treeafbc81a61c92cb96e9e44351db07668fc73a7025tree
parent69f9580ef8bb66e786bc9fada2c094c5f6f16f6acommit | diff
removing the 100 integer benchmarks from regress0, too many
test/regress/regress0/arith/integers/Makefile.am diff | blob | history