diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-08-16 11:49:17 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-08-16 11:49:17 +0200 |
| commit | e343f3e6d475984c21611474bffe7dcd8f599497 (patch) | |
| tree | 25ddfd2c584e327d2efb4f9aa2084433e6d72a30 /passes/cmds | |
| parent | 0899a53bee39e209551a3122c7c820b7ed2b48c3 (diff) | |
| download | yosys-e343f3e6d475984c21611474bffe7dcd8f599497.tar.gz yosys-e343f3e6d475984c21611474bffe7dcd8f599497.tar.bz2 yosys-e343f3e6d475984c21611474bffe7dcd8f599497.zip | |
Add "verific -set-<severity> <msg_id>.."
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/cmds')
0 files changed, 0 insertions, 0 deletions