Blame · cgc-challenges/Monster_Game/.frama-c/Monster_Game.parse/warnings.log · 665d5d740d6d8185f7ad966d44c17e36b067e126 · pub / open-source-case-studies · GitLab

Snippets Groups Projects

warnings.log 189 B

Newer Older

fix symbolic paths and update oracles

Andre Maroneze committed 4 years ago

[kernel] warning: attempting to save on non-zero exit code: modifying filename into `/home/andr/git/oscs-internal/cgc-challenges/Monster_Game/.frama-c/Monster_Game.parse/framac.sav.error'.