Miodrag Milanović 71d148bcaa Merge pull request #1559 from YosysHQ/efinix_test_fix ... Fix for non-deterministic test		2020-01-29 11:18:06 +01:00
..
.gitignore
add_sub.ys
adffs.ys
counter.ys	Call equiv_opt with -multiclock and -assert	2019-12-31 18:39:32 -08:00
dffs.ys
fsm.ys	Fixed tests	2019-11-11 15:41:33 +01:00
latches.ys
logic.ys
lutram.ys	Rename memory tests to lutram, add more xilinx tests	2019-12-12 17:44:37 -08:00
mux.ys	Updated test to use assert-max	2020-01-28 18:26:10 +01:00
run-test.sh
shifter.ys
tribuf.ys