aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/gates/testsuite.sh
Commit message (Collapse)AuthorAgeFilesLines
* Add formal tests for mod/remXiretza2020-05-301-1/+1
|
* 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