Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Partial verification

Hello Maria,

2011/11/6 Christofi Maria <Maria.Christofi at gemalto.com>:
> but, I meant without using GUI. Is there any option to use with the command?

Using a combination of -lib-entry and -main? Something like "frama-c
-lib-entry -main max".

-lib-entry          run analysis for an incomplete application e.g. an API
                    call. See the -main option to set the entry point name
-main <f>           set to name the entry point for analysis. Use -lib-entry
                    if this is not for a complete application. Defaults to
                    main

Best regards,
david