summaryrefslogtreecommitdiff
path: root/test/regress/regress1/lemmas/simple_startup_9nodes.abstract.base.smtv1.smt2
AgeCommit message (Expand)Author
2021-05-07Move slow regressions and update guidelines. (#6508)Aina Niemetz
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-02-21Switch to th_lira.plf (#3741)Alex Ozdemir
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback