4.0.0 org.overturetool core 3.0.3-SNAPSHOT ../pom.xml org.overturetool.core typechecker The VDM Type Checker junit junit 4.11 org.overturetool.core ast ${project.version} org.overturetool.core parser ${project.version} org.overturetool.core testframework ${project.version} org.apache.maven.plugins maven-surefire-plugin **/*Test.java **/*Test?.java **/*TestSuite.java org.apache.maven.plugins maven-assembly-plugin jar-with-dependencies org.codehaus.mojo license-maven-plugin **/ClassTypeChecker.java **/Environment.java **/FlatCheckedEnvironment.java **/FlatEnvironment.java **/ModuleEnvironment.java **/ModuleTypeChecker.java **/PrivateClassEnvironment.java **/PublicClassEnvironment.java **/TypeCheckException.java **/TypeChecker.java **/TypeComparator.java