---
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)
- Subject: [Frama-c-discuss] (no subject)
- From: francois.bobot at cea.fr (François Bobot)
- Date: Fri, 31 Oct 2014 18:00:01 +0100
- In-reply-to: <20620_1414772421_5453B6C5_20620_11441_1_DAE63505-C385-48D5-9045-9E5D0879415F@cea.fr>
- References: <ddc718fd7d0e66a4f3e5121676cf59e2.squirrel@mail.mpi-sws.org> <20620_1414772421_5453B6C5_20620_11441_1_DAE63505-C385-48D5-9045-9E5D0879415F@cea.fr>
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