summaryrefslogtreecommitdiff
path: root/test/regress/regress1/quantifiers/issue2970-string-var-elim.smt2
AgeCommit message (Expand)Author
2020-08-19Require `--strings-exp` when using `str.substr` (#4916)Andres Noetzli
2019-06-27Variable elimination rewrite for quantified strings (#3071)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback