diff options
Diffstat (limited to 'tests/aiger/toggle-re.aag')
| -rw-r--r-- | tests/aiger/toggle-re.aag | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/aiger/toggle-re.aag b/tests/aiger/toggle-re.aag new file mode 100644 index 00000000..b662bb38 --- /dev/null +++ b/tests/aiger/toggle-re.aag @@ -0,0 +1,14 @@ +aag 7 2 1 2 4 +2 +4 +6 8 +6 +7 +8 4 10 +10 13 15 +12 2 6 +14 3 7 +i0 enable +i1 reset +o0 Q +o1 !Q |