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