--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on August 2020 ---
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). >