Fix path to build-nusmv-tests.xml

mbeddr · Jul 13, 2024 · e06fe95 · e06fe95
1 parent 0984954
commit e06fe95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -208,7 +208,7 @@ tasks {
 
     val run_smv_tests by registering(TestLanguages::class) {
         description = "Will execute all tests from command line"
-        script = scriptFile("scripts/build-nusmv-tests.xml")
+        script = scriptFile("build-nusmv-tests.xml")
         doLast {
             ant.withGroovyBuilder {
                 "taskdef"("name" to "junitreport",