(test
 (name integer_bb_pretty)
 (libraries frama-c.init frama-c.kernel crowbar crowbar_utils)
 (flags -open Frama_c_kernel :standard -w -9))
