{
 "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"
  }
 ]
}