Combined modules and removed a somewhat expensive test

usethesource · Oct 17, 2024 · 8334ff7 · 8334ff7
1 parent da15398
commit 8334ff7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 20 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtilsTests.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtilsTests.rsc
@@ -61,7 +61,7 @@ test bool TestUtils09() = checkModuleOK("
 		NODE N = f(0, \"a\", 3.5);
 	");
 
-test bool TestUtils13(){
+test bool TestUtils10(){
 	writeModule("module MMM int x = 3;"); 
 	return checkModuleOK("
 		module TestUtils13
@@ -70,7 +70,7 @@ test bool TestUtils13(){
 	");
 }
 
-test bool TestUtils14(){
+test bool TestUtils11(){
 	writeModule("module MMM int x = 3;"); 
 	return undeclaredVariableInModule("
 		module TestUtils14
@@ -79,3 +79,9 @@ test bool TestUtils14(){
 	");
 }	
 
+test bool TestUtils12() = checkModuleOK("
+    module TestUtils12
+        import List;
+        int main() = size([1,2,3]);
+    ");
+
diff --git a/...rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtilsUsingStdLibTests.rsc b/...rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtilsUsingStdLibTests.rsc