diff options
| author | Jannis Harder <me@jix.one> | 2023-02-13 14:02:02 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-02-13 14:02:02 +0100 |
| commit | 9f20beb7dfd98e16771dba02600c68e4fa1505ed (patch) | |
| tree | ffd0002701189d2474544b7f6f5557b0f22dea44 /backends/aiger | |
| parent | 160eeab2bbf6274e0a667fdc334ddcf70c81bfb0 (diff) | |
| download | yosys-9f20beb7dfd98e16771dba02600c68e4fa1505ed.tar.gz yosys-9f20beb7dfd98e16771dba02600c68e4fa1505ed.tar.bz2 yosys-9f20beb7dfd98e16771dba02600c68e4fa1505ed.zip | |
xprop: Smaller subset of tests to run by default
Diffstat (limited to 'backends/aiger')
0 files changed, 0 insertions, 0 deletions