diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-10 07:50:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-10 07:50:57 +0200 |
| commit | d68013811f316f3940110fde8435141279e6db5a (patch) | |
| tree | eee56906cadd15300f51b46f2a7bc5626fef9119 /tests | |
| parent | 0e13d7e4c791a261a8746fefbbe92f1f3c68852d (diff) | |
| parent | 090228a6a12e1a671a5465850d3f2e410d302ae0 (diff) | |
| download | yosys-d68013811f316f3940110fde8435141279e6db5a.tar.gz yosys-d68013811f316f3940110fde8435141279e6db5a.tar.bz2 yosys-d68013811f316f3940110fde8435141279e6db5a.zip | |
Merge pull request #3507 from YosysHQ/claire/verificlibopt
Fix handling of verific -L options, add implicit "-L work"
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions