aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue1414
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: add a test for --no-assert-cover (#1414)Tristan Gingold2020-07-313-0/+59