diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-08-22 17:22:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-08-22 17:22:24 +0200 |
| commit | 408077769ff022f78f10ec1ffb60926361f8dc9f (patch) | |
| tree | 02b9412c9249cce3714972c8385d66f8093bfc17 /frontends/ast | |
| parent | 4b02ee91627c49bd4ea0e89d6c8531283501a24b (diff) | |
| download | yosys-408077769ff022f78f10ec1ffb60926361f8dc9f.tar.gz yosys-408077769ff022f78f10ec1ffb60926361f8dc9f.tar.bz2 yosys-408077769ff022f78f10ec1ffb60926361f8dc9f.zip | |
Add "verific -work" help message
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/ast')
0 files changed, 0 insertions, 0 deletions