(* Frama-C journal generated at 15:05 the 29/08/2008 *)

(* Running *)
let () = Journal.run ()
let () = Cmdline.widening level.set 20
let () = Cmdline.ForceValues.set true
let () = Cmdline.Files.set ["get_tag/iter1_prefixLong_arr_bad.c"; ]
let () = Cmdline.Files.set ["apache.c"; "get_tag/iter1_prefixLong_arr_bad.c"; ]
let () = File.init_from_cmdline ()
let () = !Db.Syntactic_callgraph.dump ()
let () = !Db.Value.compute ()
(* Finished *)
let () = Journal.finished ()
