projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Thu, 23 Aug 2018 01:47:27 +0000 (20:47 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 23 Aug 2018 01:47:27 +0000 (20:47 -0500) | ||
| commit | 83d07f5d7662557f2087136563606872b217511a | |
| tree | 1b59be1925f5c0831e0e0ce4eaa293e060ccc40f | tree |
| parent | 9c02423e90cf9cb8509d4ca6565acba06e6f9b2d | commit | diff |
| test/regress/Makefile.tests | diff | blob | history | |
| test/regress/regress1/quantifiers/dump-inst-proof.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/lra-vts-inf.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/qe-partial.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/qe.smt2 | [new file with mode: 0644] | blob |