Skip to content
Snippets Groups Projects
Commit f48335ad authored by loki der quaeler's avatar loki der quaeler Committed by loki der quaeler
Browse files

EXTENDS-less inner module EXTENDS-ed makes SANY sad - #429

. Maybe the CI machine will stop choking with this pathing?

[Bug][SANY][Tools]
parent 14633c78
Branches
Tags
No related merge requests found
...@@ -5,6 +5,7 @@ import org.junit.Before; ...@@ -5,6 +5,7 @@ import org.junit.Before;
import org.junit.Test; import org.junit.Test;
import tla2sany.modanalyzer.SpecObj; import tla2sany.modanalyzer.SpecObj;
import tlc2.tool.CommonTestCase;
import util.SimpleFilenameToStream; import util.SimpleFilenameToStream;
import util.ToolIO; import util.ToolIO;
...@@ -15,7 +16,7 @@ public class Github429Test { ...@@ -15,7 +16,7 @@ public class Github429Test {
@Before @Before
public void setUp() throws Exception { public void setUp() throws Exception {
// create a model and initialize // create a model and initialize
moduleSpec = new SpecObj("test-model/Github429.tla", new SimpleFilenameToStream()); moduleSpec = new SpecObj(CommonTestCase.BASE_PATH + "Github429.tla", new SimpleFilenameToStream());
SANY.frontEndInitialize(moduleSpec, ToolIO.out); SANY.frontEndInitialize(moduleSpec, ToolIO.out);
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment