7 lines
220 B
JSON
7 lines
220 B
JSON
|
{
|
||
|
|
"type" : "normal",
|
||
|
|
"source" : "unpacked_array_oob_write_warn.v",
|
||
|
|
"iverilog-args" : [ "-g2005-sv", "-Wselect-range", "-pfileline=1" ],
|
||
|
|
"gold" : "unpacked_array_oob_write_warn"
|
||
|
|
}
|