aboutsummaryrefslogtreecommitdiffstats
path: root/tests/xprop
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.
* tests: in xprop tests, use MAKE variable if setJannis Harder2023-02-101-1/+1
|
* New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-304-0/+801