Module Frama_c_kernel.Linear_filter_test

val run : unit -> unit

Tests the Linear_filter module: invariant computation of filters.