CORE
main.c
--gcc --jsa --jsa-aggregate=min -D __CPROVER --cegis-statistics --cegis-genetic
^EXIT=0$
^SIGNAL=0$
^.*__CPROVER_danger_D0_x *= *[(]signed *int[)][(]MINUS_ONE *< *x[)];$
^.*__CPROVER_danger_R0_x_0 *= *ONE *- *x;$
--
^warning: ignoring
