projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03abb94) | patch
Remove disabled system test cvc3_george. (#2342)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Aug 2018 01:40:25 +0000 (18:40 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 21 Aug 2018 01:40:25 +0000 (18:40 -0700)
commit3572c83ed8558012fc744a00c34dc506994130b2
treecda280547939f2f7c0dd545131ceb93b1aa98616tree
parent03abb94451a8bc2fb59b5b2fc95c931715575dc0commit | diff
Remove disabled system test cvc3_george. (#2342)

Disabled since 6 years, @mdeters commented when disabling it that it takes a very long time to build, see 868ee6d.
test/system/Makefile.am diff | blob | history
test/system/cvc3_george.cpp [deleted file] blob | history
test/system/cvc3_george.h [deleted file] blob | history
test/system/cvc3_main.cpp diff | blob | history