/tests/aig/

• ../
• and.aag
• buffer.aag
• cnt1.aag
• cnt1e.aag
• empty.aag
• false.aag
• halfadder.aag
• inverter.aag
• notcnt1.aag
• notcnt1e.aag
• or.aag
• run-test.sh
• toggle-re.aag
• toggle.aag
• true.aag