aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/gates
Commit message (Expand)AuthorAgeFilesLines
* Add formal tests for mod/remXiretza2020-05-303-1/+113
* Add formal test for pmux gateXiretza2020-05-143-1/+59
* Add min/max gatesXiretza2020-03-223-1/+70
* Move formal tests for gates into single subdirectoryXiretza2020-03-229-0/+346