fix oracles after synchronization

1 job for master in 90 minutes and 2 seconds (queued for 8 seconds)
Status Name Job ID Coverage
  Test
failed build #436272
docker

01:30:02

 
Name Stage Failure
failed
build Test The script exceeded the maximum execution time set for the job
[mdr] Report integers_overflow_11_loop_while_do_continue_good.sarif generated
frama-c -no-autoload-plugins -load-module eva,markdown_report -load integers_overflow_12_loop_for_array_branching_good.eva/framac.sav -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic -mdr-out integers_overflow_12_loop_for_array_branching_good.sarif
[kernel] Warning: 843 states in saved file ignored. They are invalid in this Frama-C configuration.
[mdr] Report integers_overflow_12_loop_for_array_branching_good.sarif generated
frama-c -no-autoload-plugins -load-module eva,markdown_report -load integers_overflow_13_loop_for_pointer_arithmetic_good.eva/framac.sav -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic -mdr-out integers_overflow_13_loop_for_pointer_arithmetic_good.sarif
[kernel] Warning: 843 states in saved file ignored. They are invalid in this Frama-C configuration.
[mdr] Report integers_overflow_13_loop_for_pointer_arithmetic_good.sarif generated
frama-c -no-autoload-plugins -load-module eva,markdown_report -load integers_overflow_17_complex_function_pointers_good.eva/framac.sav -mdr-gen sarif -mdr-no-print-libc -mdr-sarif-deterministic -mdr-out integers_overflow_17_complex_function_pointers_good.sarif
ERROR: Job failed: execution took longer than 1h30m0s seconds