summaryrefslogtreecommitdiff
path: root/tests/aiger/true.aig
diff options
context:
space:
mode:
Diffstat (limited to 'tests/aiger/true.aig')
-rw-r--r--tests/aiger/true.aig1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/aiger/true.aig b/tests/aiger/true.aig
index 10086f38..f9bad600 100644
--- a/tests/aiger/true.aig
+++ b/tests/aiger/true.aig
@@ -1,2 +1,3 @@
aig 0 0 0 1 0
1
+o0 po0