diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 11:05:25 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 11:05:25 -0700 |
| commit | 1b113a05742377f5b18d52bc5bf50b1991e88c19 (patch) | |
| tree | b3be2504023518f88e049d9c95ffa9ec065bb5e6 /tests/aiger/inverter.aig | |
| parent | 6d49145497e48bb063ebbed5164b45569e91b5ca (diff) | |
| download | yosys-1b113a05742377f5b18d52bc5bf50b1991e88c19.tar.gz yosys-1b113a05742377f5b18d52bc5bf50b1991e88c19.tar.bz2 yosys-1b113a05742377f5b18d52bc5bf50b1991e88c19.zip | |
Add symbols to AIGER test inputs for ABC
Diffstat (limited to 'tests/aiger/inverter.aig')
| -rw-r--r-- | tests/aiger/inverter.aig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/aiger/inverter.aig b/tests/aiger/inverter.aig index 525d82392..5bec90ae3 100644 --- a/tests/aiger/inverter.aig +++ b/tests/aiger/inverter.aig @@ -1,2 +1,4 @@ aig 1 1 0 1 0 3 +i0 pi0 +o0 po0 |