summaryrefslogtreecommitdiff
path: root/test/regress/regress0/quantifiers/burns4.smt2
AgeCommit message (Expand)Author
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2014-11-21Change default option to --inst-when=full-last-call (interleave instantiation...ajreynol
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback