projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Mon, 20 Aug 2018 23:05:43 +0000 (18:05 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 20 Aug 2018 23:05:43 +0000 (18:05 -0500) | ||
| commit | a0c5a51f6fae81ffeb1752ee4d75db7a51c23680 | |
| tree | 9f592a260c1dfe2cd311b0668ba6bd0ecd8d0713 | tree |
| parent | 34a4f78458773e9816d90c84fd2047b74a699527 | commit | diff |
| test/regress/Makefile.tests | diff | blob | history | |
| test/regress/regress0/datatypes/data-nested-codata.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/arith-snorm.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/dump-inst-i.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/dump-inst.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/infer-arith-trigger-eq.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/quantifiers/quant-wf-int-ind.smt2 | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/phone-1-long.sy | [new file with mode: 0644] | blob |