--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated



Hi Nanci,

On Mon, 04 Nov 2013 13:28:40 +0100, Nanci Naomi <nnarai at gmail.com> wrote:
> We have not tried to run the David's suggestion, because we are Frama-C
> begginer's users and we do not know how to modify the makefiles. However,
> if you could give the hints to do that, we can send you the file.

Actually, my e-mail was mis-guided, and there is no problem here. As Claude explained in this thread (but I discovered his message only later), the number of VCs is expected here.

You may want to see with the authors of the Jessie plugin if the fastwp can be activated now.

Johannes

-- 
Johannes Kanig <kanig at adacore.com>