--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on October 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] (no subject)



On 31/10/2014 17:20, Lo?c Correnson wrote:
> The only way to handle your situation

The original problem is now answered on StackOverflow. The original assigns \nothing in main was
indeed false.

>, is to make the result of new_value accessible from the logic space.

I updated it with this interesting idea.

-- 
Fran?ois