Merge pull request #1146 from gsomlo/gls-test-abc-ext
authorClifford Wolf <clifford@clifford.at>
Fri, 28 Jun 2019 08:30:31 +0000 (10:30 +0200)
committerDavid Shah <dave@ds0.me>
Tue, 9 Jul 2019 17:44:57 +0000 (18:44 +0100)
commitef0823690c386c405fdd0ca2a3f45af8788a19aa
treea23c0f4cc916a688aace6d36aefb3a13193e6fb2
parent43069e9eb91bf76164e80d6ea65443bd05567d64
Merge pull request #1146 from gsomlo/gls-test-abc-ext

tests: use optional ABCEXTERNAL when specified
Makefile
tests/aiger/run-test.sh
tests/memories/run-test.sh
tests/tools/autotest.sh