9 lines
171 B
JSON
9 lines
171 B
JSON
{
|
|
"task_id": "fsm_ps2data",
|
|
"stage": "TBeval",
|
|
"pass": false,
|
|
"coverage": 100.0,
|
|
"cga_enabled": true,
|
|
"Eval1_pass": false,
|
|
"full_pass": false
|
|
} |