driver - Revision 63575: /dnet11/modules/icm-contract-verification-module/releases/0.1.6/test/junit/eu/dnetlib/contract/cp/eval

• ..
• AllEvaluatorModuleTests.java
• ComplexCheckPointEvaluationTest.java
• ComplexEvaluatorModuleTest.java
• EntryCheckPointEvaluationTest.java
• ExceptionCheckPointEvaluationTest.java
• NotNullEvaluatorModuleTest.java
• RegexpStringEvaluatorModuleTest.java
• ResultCheckPointEvaluationTest.java