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/true.aag | |
| 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/true.aag')
| -rw-r--r-- | tests/aiger/true.aag | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/aiger/true.aag b/tests/aiger/true.aag index 366893648..66a9eab46 100644 --- a/tests/aiger/true.aag +++ b/tests/aiger/true.aag @@ -1,2 +1,3 @@ aag 0 0 0 1 0 1 +o0 po0 |