Skip to content
Snippets Groups Projects
Normal view Permalink
dune 203 B
Newer Older
David Bühler's avatar
[kernel] Adds a cram test of the log truncation of very long messages.
David Bühler committed
1 2 3 4 5 6 7 8 
(executable
  (name "log_truncation")
  (modules "log_truncation")
  (modes plugin)
  (libraries frama-c.init.cmdline frama-c.kernel)
  (flags -open Frama_c_kernel :standard)
  (promote (until-clean))
)