4.0.0 com.runtimeverification.k parent 1.0-SNAPSHOT java-backend jar K Framework Java Backend org.pcollections pcollections 2.1.2 com.runtimeverification.k kernel ${project.version} com.runtimeverification.k kernel ${project.version} test-jar test uk.com.robust-it cloning 1.9.2 net.java.dev.jna jna 4.5.1 junit junit 4.12 test org.mockito mockito-core 2.23.4 test maven-dependency-plugin 2.8 copy-native-dependencies copy-dependencies true true so,dylib,dll ${native.classifier},${native.os.classifier} runtime ${project.build.directory}/lib/native maven-surefire-plugin 2.17 ${env.LD_LIBRARY_PATH}${path.separator}${project.build.directory}/lib/native ${env.DYLD_LIBRARY_PATH}${path.separator}${project.build.directory}/lib/native ${env.PATH}${path.separator}${project.build.directory}/lib/native