Make tests/aiger less chatty
authorClifford Wolf <clifford@clifford.at>
Wed, 19 Jun 2019 10:20:35 +0000 (12:20 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 19 Jun 2019 10:20:35 +0000 (12:20 +0200)
commitc330379870a48209534807d1c021ce2a20ccf880
tree35262355f3b13e64cae502e1b6f2cb28857c8568
parentb3441935b1e5fd59e982870c2aa4da6036b6f30e
Make tests/aiger less chatty

Signed-off-by: Clifford Wolf <clifford@clifford.at>
tests/aiger/run-test.sh