{
    "type"          : "CE",
    "source"        : "cast_real_invalid1.v",
    "iverilog-args" : [ "-g2005-sv" ]
}