CORE
main.c
--gcc --danger --cegis-statistics --cegis-genetic
^EXIT=0$
^SIGNAL=0$
^.*__CPROVER_danger_tmp_0 *= *[(]unsigned *int[)][(][(]unsigned *int[)]x *<= *DANGER_CONSTANT_2u *&& *DANGER_CONSTANT_2u *<= *[(]unsigned *int[)]x[)];$
^.*__CPROVER_danger_D0_x *= *DANGER_CONSTANT_4294967295u *[+] *__CPROVER_danger_tmp_0;$
^.*__CPROVER_danger_tmp_0 *= *[(]unsigned *int[)][(][(]signed *int[)]DANGER_CONSTANT_4294967295u *>> *[(]unsigned *int[)]x[)];$
^.*__CPROVER_danger_R0_x_0 *= *DANGER_CONSTANT_3u *- *[(]unsigned *int[)]x;$
^.*__CPROVER_danger_S0_x_0 *= *[(]unsigned *int[)]x *<< *[(]unsigned *int[)]x;$
^.*__CPROVER_danger_S0_x_1 *= *[(]unsigned *int[)][(]__CPROVER_danger_S0_x_0 *< *DANGER_CONSTANT_0u *&& *DANGER_CONSTANT_0u *< *DANGER_CONSTANT_4294967294u[)];$
--
^warning: ignoring
