diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 19:56:55 +0000 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 19:56:55 +0000 |
| commit | b9e09c69c0570486f3f8a73499049b636a4b4c34 (patch) | |
| tree | e36d38108251cdbc8ed83721a9ae06da73cfd848 /tests/aiger/buffer.aig | |
| parent | 3c2327501d79de3f007014c1fd8817c95c477aa4 (diff) | |
| parent | 1f6bb85359149a016811e7e7fef980c3d45211e7 (diff) | |
Update upstream source from tag 'upstream/0.9'
Update to upstream version '0.9'
with Debian dir df447efe4e1efaece1d926cd037de4a7c3c1bebe
Diffstat (limited to 'tests/aiger/buffer.aig')
| -rw-r--r-- | tests/aiger/buffer.aig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/aiger/buffer.aig b/tests/aiger/buffer.aig index 0c715fde..01df6f1c 100644 --- a/tests/aiger/buffer.aig +++ b/tests/aiger/buffer.aig @@ -1,2 +1,4 @@ aig 1 1 0 1 0 2 +i0 pi0 +o0 po0 |