From f48335ad2f14b9f04b678b5985b1b3a59d79e737 Mon Sep 17 00:00:00 2001 From: loki der quaeler <quaeler@gmail.com> Date: Fri, 6 Mar 2020 16:17:17 -0800 Subject: [PATCH] EXTENDS-less inner module EXTENDS-ed makes SANY sad - #429 . Maybe the CI machine will stop choking with this pathing? [Bug][SANY][Tools] --- tlatools/test/tla2sany/drivers/Github429Test.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tlatools/test/tla2sany/drivers/Github429Test.java b/tlatools/test/tla2sany/drivers/Github429Test.java index f0508ac55..11d70a05f 100644 --- a/tlatools/test/tla2sany/drivers/Github429Test.java +++ b/tlatools/test/tla2sany/drivers/Github429Test.java @@ -5,6 +5,7 @@ import org.junit.Before; import org.junit.Test; import tla2sany.modanalyzer.SpecObj; +import tlc2.tool.CommonTestCase; import util.SimpleFilenameToStream; import util.ToolIO; @@ -15,7 +16,7 @@ public class Github429Test { @Before public void setUp() throws Exception { // 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); } -- GitLab