--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Options of the value analysis that are going to disappear



To repay technical debt and make room for new, useful improvements,
the following options are going to disappear either in Carbon or in the
following release:

-mem-exec
-mem-exec-all
-no-overflow (documented as boolean option -overflow with an implicit dual
option built with "-no" prefix. The default behavior (option set) will be kept)

These options were experiments for which no actual use case came up
once they were implemented.
As far as we know, these options are not used by anyone.

If you use any of them, this is your last chance to speak.

Pascal