31 lines
727 B
JSON
31 lines
727 B
JSON
[
|
|
{
|
|
"case": "pure-single-32768",
|
|
"phase": "quality",
|
|
"input_contract": "coroutines",
|
|
"fast_failure_then_success": false,
|
|
"error": "TypeError: 'coroutine' object is not callable"
|
|
},
|
|
{
|
|
"case": "pure-single-57344",
|
|
"phase": "quality_followup",
|
|
"input_contract": "coroutines",
|
|
"fast_failure_then_success": false,
|
|
"returned": null
|
|
},
|
|
{
|
|
"case": "byteshape-single-ub128-validated-104448",
|
|
"phase": "quality_followup",
|
|
"input_contract": "coroutines",
|
|
"fast_failure_then_success": true,
|
|
"returned": 7
|
|
},
|
|
{
|
|
"case": "byteshape-single-32768",
|
|
"phase": "quality",
|
|
"input_contract": "tasks",
|
|
"fast_failure_then_success": true,
|
|
"returned": 7
|
|
}
|
|
]
|