Adapt other IFM2020 benchs

1 job for ltest-experimental in 2 minutes and 23 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
failed build #413289
docker

00:02:23

 
Name Stage Failure
failed
build Test
Removing x509-parser/.frama-c/x509-parser.parse/
Removing x509-parser/.frama-c/x509-parser.sarif

Skipping Git submodules setup
Executing "step_script" stage of the job script
$ make -B all >/dev/null
make[1]: *** [GNUmakefile:42: 2048_Candidate] Error 1
make: *** [Makefile:109: 2048] Error 2
ERROR: Job failed: exit code 1