aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/gates/testsuite.sh
Commit message (Expand)AuthorAgeFilesLines
* Add formal test for pmux gateXiretza2020-05-141-1/+1
* Add min/max gatesXiretza2020-03-221-1/+1
* Move formal tests for gates into single subdirectoryXiretza2020-03-221-0/+11