Unit_tests
Unit testing.
Currently tested by this module:
val run : unit -> unit
Runs some programmatic tests on Eva.
Frama-C