--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on November 2011 ---
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