--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on August 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] preprocessing a file for E-ACSL



Hello André,

thanks a lot for pointing out ‚-ocode‘ to me!

Jens

> Am 24.08.2020 um 11:41 schrieb Andre Maroneze <Andre.MARONEZE at cea.fr>:
> 
> Did you try using "-ocode find_main.i"? It's the usual option to save the normalized source code produced by Frama-C, without having other messages redirected to the file. "-print" tells Frama-C to print the output, and "-ocode" tells Frama-C where to print it (stdout, by default).
>