--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Getting a node from its id for a particular pdg



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