(test
 (name test_ghost_cfg)
 (libraries frama-c.init frama-c.kernel crowbar crowbar_utils)
 (flags -open Frama_c_kernel :standard -w -9)
 (action (run %{test} -r 1000))
)
