--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on June 2015 ---
On 06/04/2015 02:29 PM, Gaurav Tripathi wrote: > I am talking about Frama-c source file. I've understood... > What if I change frama-c source code ? > The standard way is to generate a new source code and > then to use your favorite C compiler to compile it as follow: > > $ frama-c <c files and options> -then -print -ocode generated.c What I said remains valid. More precisely, either you modify the source code in the current project (not recommended, see Plugin Development Guide, Section 4.12.5), or you perform your modification in a new project. In the former case, the above line is fine. In the latter case, just use -then-last instead of -then (see User Manual, Section 3.3.4). -- Julien