summaryrefslogtreecommitdiff
path: root/test/regress/regress1/strings/substr001.smt2
AgeCommit message (Expand)Author
2020-08-19Require `--strings-exp` when using `str.substr` (#4916)Andres Noetzli
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback