From 4e6c5e46725bb99e0c919a5f82ce5290da2ce2f9 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Fri, 8 Feb 2019 11:41:25 -0800 Subject: Add binary AIGs converted from AAG --- tests/aiger/inverter.aig | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/aiger/inverter.aig (limited to 'tests/aiger/inverter.aig') diff --git a/tests/aiger/inverter.aig b/tests/aiger/inverter.aig new file mode 100644 index 000000000..525d82392 --- /dev/null +++ b/tests/aiger/inverter.aig @@ -0,0 +1,2 @@ +aig 1 1 0 1 0 +3 -- cgit v1.2.3