e30764fb19
Add negative_cases_from_universe to expand an explicit file-by-rule universe into labeled negatives (enabling TP/FP/TN/FN, not just TP/FP), plus project-eval harness updates in run_project_eval and the score/score_fp/quality-gate helpers.
22 lines
911 B
JSON
22 lines
911 B
JSON
{
|
|
"name": "svcomp-signedintegeroverflow-regression",
|
|
"description": "SV-COMP signedintegeroverflow-regression category gold, built from per-file yml specs (valid-deref/valid-free/valid-memtrack).",
|
|
"expected": [
|
|
{
|
|
"kind": "int-overflow",
|
|
"files": [
|
|
"signedintegeroverflow-regression/AdditionIntMax.c",
|
|
"signedintegeroverflow-regression/AdditionIntMin.c",
|
|
"signedintegeroverflow-regression/Division-1.c",
|
|
"signedintegeroverflow-regression/Multiplication-2.c",
|
|
"signedintegeroverflow-regression/NoConversion.c",
|
|
"signedintegeroverflow-regression/PostfixDecrement.c",
|
|
"signedintegeroverflow-regression/PostfixIncrement.c",
|
|
"signedintegeroverflow-regression/PrefixDecrement.c",
|
|
"signedintegeroverflow-regression/PrefixIncrement.c",
|
|
"signedintegeroverflow-regression/UnaryMinus.c"
|
|
],
|
|
"id": "svcomp-signedintegeroverflow-regression-int-overflow-0000"
|
|
}
|
|
]
|
|
}
|