7 commits

Author	SHA1	Message	Date
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
Clifford Wolf	c330379870	Make tests/aiger less chatty ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-19 12:20:35 +02:00
Eddie Hung	a91ea6612a	Add some more comments	2019-06-10 10:27:55 -07:00
Eddie Hung	65924fd12f	Test *.aag too, by using *.aig as reference	2019-06-07 11:28:05 -07:00
Eddie Hung	ebe29b6659	Use ABC to convert AIGER to Verilog, then sat against Yosys	2019-06-07 11:05:36 -07:00
Eddie Hung	587872236e	Support and differentiate between ASCII and binary AIG testing	2019-02-08 12:41:59 -08:00
Eddie Hung	fdd55d064b	Rename ASCII tests	2019-02-06 12:20:36 -08:00

Renamed from tests/aig/run-test.sh (Browse further)