Merge pull request #100 from mbeddr/merge/MPS-2022.3

Merge maintenance/MPS-2022.2 into maintenance/MPS-2022.3
mbeddr · Jul 13, 2024 · 504fd1e · 504fd1e
2 parents 819571f + e06fe95
commit 504fd1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -211,7 +211,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",