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