George Rennie 4e6deb53b6 read_aiger: Fix incorrect read of binary Aiger without outputs ...

* Also makes all ascii parsing finish reading lines and adds a small
  test

2024-04-29 14:06:58 +01:00

..

.gitignore

…

and_.aag

…

and_.aig

…

and_to_bad_out.aag

…

and_to_bad_out.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

…

neg.ys

…

notcnt1.aag

…

notcnt1.aig

…

notcnt1e.aag

…

notcnt1e.aig

…

or_.aag

…

or_.aig

…

run-test.sh

…

symbols.aag

…

symbols.aig

…

toggle-re.aag

…

toggle-re.aig

…

toggle.aag

…

toggle.aig

…

true.aag

…

true.aig

…