summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bug567.smt2
AgeCommit message (Expand)Author
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2014-09-03Implement and enable --dt-var-exp-quant, cleanup trace messages, minor change...ajreynol
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
2014-06-19forgot to add the test with fixKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback