aboutsummaryrefslogtreecommitdiffstats
path: root/tests/xprop/test.py
Commit message (Collapse)AuthorAgeFilesLines
* tests: Fix path of yosys invocation in xprop testsJannis Harder2023-02-101-1/+1
| | | | | For now xprop test failures are still expected and ignored, but without this change, they did not even run unless the yosys build was in path.
* New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-301-0/+516