Frama_c_kernel.Linear_filter_test
val run : unit -> unit
Tests the Linear_filter module: invariant computation of filters.