aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue662/testsuite.sh
Commit message (Expand)AuthorAgeFilesLines
* testsuite/synth: adjust tests for issue#662Tristan Gingold2021-02-091-0/+3
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-091-1/+1
* testsuite/synth: add a test of PSL built-in function fell() for #662tmeissner2020-06-071-1/+1
* testsuite/synth: add a test of PSL built-in function rose() for #662tmeissner2020-06-061-1/+1
* testsuite/synth: add a test of PSL built-in function stable() for #662tmeissner2020-06-061-4/+7
* testsuite/synth: add a test for #662Tristan Gingold2020-06-021-0/+13