4.0.0 org.overturetool core 2.6.5-SNAPSHOT ../pom.xml org.overturetool.core interpreter The VDM Interpreter org.overturetool.core ast ${project.version} org.overturetool.core typechecker ${project.version} org.overturetool.core pog ${project.version} org.overturetool.core testframework ${project.version} junit junit 4.11 org.overturetool.core.testing framework ${project.version} test org.apache.maven.plugins maven-surefire-plugin true **/*Test.java **/*Test?.java **/*TestSuite.java src/main/resources true **/*.prop