CORE
main.c
--gcc --danger --cegis-statistics --cegis-genetic
^EXIT=0$
^SIGNAL=0$
^.*__CPROVER_danger_D0_x *= *[(]unsigned *int[)][(][(]signed *int[)]DANGER_CONSTANT_4u *>> *[(]unsigned *int[)]x[)];$
^.*__CPROVER_danger_R0_x_0 *= *DANGER_CONSTANT_3u *>> *[(]unsigned *int[)]x;
--
^warning: ignoring
