A framework for unit testing Jandal applications.