aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/muxcover.ys
Commit message (Expand)AuthorAgeFilesLines
* muxcover: do not add decode muxes with x inputsLofty2023-01-261-0/+40
* Copy tests from eddie/fix1132Eddie Hung2019-06-271-0/+320
* Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
* Add testEddie Hung2019-06-201-1/+136
* Revert "Recognise default entry in case even if all cases covered (fix for #9...Eddie Hung2019-04-151-3/+2
* Add default entry to testcaseEddie Hung2019-04-111-2/+3
* Added "pmuxtree" commandClifford Wolf2015-04-071-0/+51