Skip to content

Commit d4fd4ba

Browse files
build: fix project location for modelcheck
1 parent 6031412 commit d4fd4ba

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

build.gradle

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -320,7 +320,7 @@ File modelcheckresult = new File("$buildDir/TEST-checkProject.xml")
320320
def pluginsList = []
321321

322322
modelcheck {
323-
projectLocation = new File("$projectDir/code")
323+
projectLocation = new File("$projectDir/code/languages/org.iets3.opensource")
324324
mpsLocation = new File("$buildDir/mps")
325325
plugins = pluginsList
326326
mpsConfig = configurations.mps

0 commit comments

Comments
 (0)