Gabriel L. Somlo 6f1c137989 tests: use optional ABCEXTERNAL when specified ... Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation of yosys-abc, which fails if ABCEXTERNAL was specified during the build. Allow tests to utilize an optional, externally specified abc binary. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>		2019-06-27 23:00:13 -04:00
..
.gitignore
and_.aag
and_.aig
buffer.aag
buffer.aig
cnt1.aag
cnt1.aig
cnt1e.aag
cnt1e.aig
empty.aag
empty.aig
false.aag
false.aig
halfadder.aag
halfadder.aig
inverter.aag
inverter.aig
notcnt1.aag
notcnt1.aig
notcnt1e.aag
notcnt1e.aig
or_.aag
or_.aig
run-test.sh
toggle-re.aag
toggle-re.aig
toggle.aag
toggle.aig
true.aag
true.aig