4 Commits

Author	SHA1	Message	Date
Jannis Harder	9f20beb7df	xprop: Smaller subset of tests to run by default	2023-02-13 14:02:02 +01:00
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
Jannis Harder	d31d5da69f	tests: in xprop tests, use MAKE variable if set	2023-02-10 15:01:04 +01:00
Jannis Harder	ce708122a5	New xprop pass to encode 3-valued x-propagation using 2-valued logic	2022-11-30 19:01:28 +01:00