--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on January 2011 ---
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