diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-07 11:44:20 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-07 11:44:20 -0800 |
| commit | 0d3f10d3cc55e83ae6a39881227feb843769d6b1 (patch) | |
| tree | a3e2faac02ce41602329e3e83a2b813da87b427f /tests/aiger | |
| parent | 7c878bf39741ca8889425932063918d837b8ac9b (diff) | |
| download | yosys-0d3f10d3cc55e83ae6a39881227feb843769d6b1.tar.gz yosys-0d3f10d3cc55e83ae6a39881227feb843769d6b1.tar.bz2 yosys-0d3f10d3cc55e83ae6a39881227feb843769d6b1.zip | |
Add testcases
Diffstat (limited to 'tests/aiger')
| -rw-r--r-- | tests/aiger/symbols.aag | 9 | ||||
| -rw-r--r-- | tests/aiger/symbols.aig | 8 |
2 files changed, 17 insertions, 0 deletions
diff --git a/tests/aiger/symbols.aag b/tests/aiger/symbols.aag new file mode 100644 index 000000000..93f8989f2 --- /dev/null +++ b/tests/aiger/symbols.aag @@ -0,0 +1,9 @@ +aag 2 1 1 1 0 +2 +4 2 1 +4 +i0 d +l0 q +o0 q +c +Generated by Yosys 0.9+932 (git sha1 baba33fb, clang 9.0.0-2 -fPIC -Os) diff --git a/tests/aiger/symbols.aig b/tests/aiger/symbols.aig new file mode 100644 index 000000000..a7922ab46 --- /dev/null +++ b/tests/aiger/symbols.aig @@ -0,0 +1,8 @@ +aig 2 1 1 1 0 +2 1 +4 +i0 d +l0 q +o0 q +c +Generated by Yosys 0.9+932 (git sha1 baba33fb, clang 9.0.0-2 -fPIC -Os) |