--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on March 2009 ---
Anne Pacalet a ?crit : > You can run it with frama-c toplevel which enables you to interactively > test commands : > ledit bin/toplevel.top ~/FramaCtests/demay-18mars09.c > #directory "cil/src";; > #use "/user/apacalet/home/FramaCtests/demay-18mars09.ml";; Oups ! I sent the mail to fast with a dirty cut&paste. You only need to do : ledit frama-c/bin/toplevel.top test.c #use "test.ml" Bye. -- Anne Pacalet - INRIA - 2004, route des Lucioles BP.93 F-06902 Sophia Antipolis Cedex. Tel : +33 (0) 4 9715 5345