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

[Frama-c-discuss] Partial verification



On 07/11/2011 10:26, n.rousset at laposte.net wrote:
>
> Hello Maria,
> There is the -verify option of jessie command line (see jessie -help).
> frama-c -jessie -jessie-jc-opt="-verify max" should do the job (see
> jessie plugin manual).

Oops, that's right, I missed this option, sorry.

-- 
E tutto per oggi, a la prossima volta
Virgile