aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/gates/test_minmax.sby
Commit message (Collapse)AuthorAgeFilesLines
* Add min/max gatesXiretza2020-03-221-0/+12