aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/assertassumes0/testsuite.sh
Commit message (Expand)AuthorAgeFilesLines
* synth: add option to treat asserts as assumes and vice-versatmeissner2021-01-021-0/+36
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-13 03:07:38 +0000