Jannis Harder 6d021f04d4 tests: Fix path of yosys invocation in xprop tests ...

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.

2023-02-10 19:17:16 +01:00

..

.gitignore

New xprop pass to encode 3-valued x-propagation using 2-valued logic

2022-11-30 19:01:28 +01:00

generate.py

New xprop pass to encode 3-valued x-propagation using 2-valued logic

2022-11-30 19:01:28 +01:00

run-test.sh

tests: in xprop tests, use MAKE variable if set

2023-02-10 15:01:04 +01:00

test.py

tests: Fix path of yosys invocation in xprop tests

2023-02-10 19:17:16 +01:00