---
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
- Subject: [Frama-c-discuss] Partial verification
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- Date: Mon, 07 Nov 2011 11:02:11 +0100
- In-reply-to: <29668350.80334.1320657988807.JavaMail.www@wwinf8224>
- References: <mailman.23.1320577268.22447.frama-c-discuss@lists.gforge.inria.fr> <952CD441-A699-4FB0-B725-E67977153ED7@gemalto.com> <CAC3Lx=ZOsJW=dizHx65nOve=3-rVdcy5Ff9Np-_BgJeM1EmwEA@mail.gmail.com> <4EB7A06C.1040200@cea.fr> <29668350.80334.1320657988807.JavaMail.www@wwinf8224>
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