--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on November 2018 ---
Hi Is it possible to make frama-c return a non-zero exit code if it fails to prove every goal? This would be very useful in a build system. Maybe it's already possible in recent versions? I'm stuck on Silicon currently (due to Debian). Searching the manual didn't yield much The reason is of course the sometimes huge proving times, in my case when dealing with string concatenation. I get the feeling that putting each function into its own compilation unit may save some headache. But of course, this is only useful if it's possible to have a sane build system! /Tomas