Module Eva.Unit_tests

Currently tested by this module:

val run : unit -> unit

Runs some programmatic tests on Eva.