Drop a few warnings and default definitions from the test suite

4 jobs for wip-frama-c-2564
Name Stage Failure
failed
git-update Git Update There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log