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