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

[Frama-c-discuss] Jessie + simplify broken?



Hello again,

> I just tried to verify some of my programs with Jessie and simplify.
> Although why found simplify, all VCs fail. I see the "tool problem"
> icon.

I am sorry I do not have anything more constructive to say, but I
wanted to add that I have had the same symptoms for months, and I had
given up (although I could launch Simplify and get a prompt, I just
thought that Simplify was not supported by Why on Mac OS X). And the
last time I tried, it just worked, although I do not remember doing
anything different from when it did not work.

I have never understood that one.

Pascal