New test is targetting the StaticCallToNonStaticTest()

.github/workflows/simple_build.yml

@@ -28,4 +28,4 @@ jobs:
     - name: Run PolDet test
       run: ./gradlew testPolDet
     - name: Test on modified class file
-      run: ./gradlew runModifiedTest
+      run: ./gradlew runModifiedTest --info

build.gradle

@@ -110,11 +110,15 @@ tasks.named('compilePeersJava') {
     dependsOn(copyResources)
 }
 task runModifiedTest(type: Test) {
-    description = "Runs the test for the modified class file."
-    group = "verification"
+    description = 'Run modified test'
+    group = 'verification'
+    testClassesDirs = sourceSets.test.output.classesDirs
+    classpath = sourceSets.test.runtimeClasspath
+   include '**/StaticCallToNonStaticTest.class'
+
     useJUnitPlatform() 
-    include "**/StaticCallToNonStaticTest.class" // Runs only the new test class
 }
+
 tasks.named("runModifiedTest") {
     dependsOn("compileTestJava")
     shouldRunAfter("test")

src/tests/gov/nasa/jpf/StaticCallToNonStaticTest.java

@@ -11,7 +11,7 @@
 public class StaticCallToNonStaticTest extends TestJPF {
 
     @Test
-public void testStaticCallToNonStatic() {
+    public void testStaticCallToNonStatic() {
   D.m();
 }