projects / cvc5.git / commit
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | |
| Mon, 23 Jul 2018 18:36:53 +0000 (13:36 -0500) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 23 Jul 2018 18:36:53 +0000 (13:36 -0500) | ||
| commit | 416f6d2d55fb24fea63bd13537b24a6a88509344 | |
| tree | 331e8d703214c77431c6c51c34b86dfeb0059566 | tree |
| parent | 52a7602c529108c6e56868c427ac691fe472ff7c | commit | diff |
| test/regress/Makefile.tests | diff | blob | history | |
| test/regress/regress0/sygus/aig-si.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/crcy-si-rcons.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/crcy-si.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/parity-si-rcons.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/sygus-uf-ex.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/t8.sy | [new file with mode: 0644] | blob |
| test/regress/regress1/sygus/univ_2-long-repeat.sy | [new file with mode: 0644] | blob |
| test/regress/regress2/sygus/process-10-vars-2fun.sy | diff | blob | history |