--- layout: fc_discuss_archives title: Message 85 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Jessie] Problem with simple search programm



Hello Hollas,

On Thu, Mar 26, 2009 at 09:48, Hollas Boris (CR/AEY1)
<Boris.Hollas at de.bosch.com> wrote:
> Maybe the bug report submitted by David https://gforge.inria.fr/tracker/index.php?func=detail&aid=7496&group_id=1123&atid=5488 is related.

As I have just said in this bug report, I'm working entirely on Unix
(Debian Linux) thus my bug report is unrelated to yours.

Yours,
d.