/tests/aiger/

• ../
• 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