Updated tests for @doclink error in Terminals.adoc

INTO-CPS-Association · Sep 12, 2024 · e55b702 · e55b702
1 parent 266411a
commit e55b702
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/combined/src/test/java/combined/MaestroCheckCombinationTest.java b/combined/src/test/java/combined/MaestroCheckCombinationTest.java
@@ -74,7 +74,7 @@ public void testFMI2() throws Exception
 				errors.get(1).message);
 		Assert.assertTrue(errors.get(1).doclinks != null);
 		Assert.assertEquals(
-				"<FMI2_STANDARD>#section-terminalvars\n",
+				"<FMI3_STANDARD>#section-terminalvars\n",
 				errors.get(1).doclinks.get(0).toString());
 	}
 

diff --git a/fmi2/vdmcheck/src/test/java/MaestroCheckFMI2Test.java b/fmi2/vdmcheck/src/test/java/MaestroCheckFMI2Test.java
@@ -48,7 +48,7 @@ public void test() throws Exception
 				errors.get(1).message);
 		Assert.assertTrue(errors.get(1).doclinks != null);
 		Assert.assertEquals(
-				"<FMI2_STANDARD>#section-terminalvars\n",
+				"<FMI3_STANDARD>#section-terminalvars\n",
 				errors.get(1).doclinks.get(0).toString());
 
 		errors = checker.check(nosuch, null, null);