--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on November 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Silicon] Is it possible to make frama-c return non-zero on timeout/failure?



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