This module contains UnitTests for the Driver based on the ExamplePrograms in ../../Test. These make use of the python unit testing framework unittest.