(test
 (name constfold)
 (libraries
  frama-c.init
  frama-c.kernel
  frama-c-inout.core
  frama-c-eva.core
  crowbar
  crowbar_utils)
 (flags -open Frama_c_kernel :standard -w -9)
 (action (run %{test} -r 2000))
)
