Merge remote-tracking branch 'origin/main' into fix/run-compiler-tests-in-parallel

Author: DavyLandman

src/org/rascalmpl/compiler/lang/rascalcore/check/tests/ChangeScenarioTests.rsc

@@ -469,21 +469,7 @@ test bool breakingChange1(){
     return expectReChecks(D, ["C", "D"]);
 }
 
-test bool timestampsIncrease() {
-    datetime lastTime = $2020-01-01T00:00:00.000+00:00$;
-    loc testLoc = |memory:///test-random-write-file|;
-    for (i <- [0..10000]) {
-        writeFile(testLoc, "Hoi");
-        datetime newTime = lastModified(testLoc);
-        if (lastTime == newTime) {
-            println("Time did not change: <lastTime> == <newTime>");
-            return false;
-        }
-    }
-    return true;
-}
-
-test bool fixedErrorsDisappear2() {  // ht @toinehartman
+test bool fixedErrorsDisappearCompact() { 
     clearMemory();
     pcfg = getDefaultTestingPathConfig();
 
@@ -896,4 +882,4 @@ void allBenchmarks(){
     mediumBenchmarkRechecking();
     //largeBenchmarkRechecking();
     println("Total time: <(cpuTime() - beginTime)/1000000> ms");
-}
+}

src/org/rascalmpl/compiler/lang/rascalcore/check/tests/StaticTestingUtils.rsc

@@ -572,4 +572,4 @@ bool expectReChecksWithErrors(loc mloc, list[str] moduleNames, PathConfig pathCo
 	msgs = [ "Checked <nm>" | nm <- moduleNames ];
 	mlocs = mloc + [ getModuleLocation(mn, pathConfig) | mn <- moduleNames ];
 	return checkModuleAndFilter(mlocs, msgs, matchAll=true, errorsAllowed=true, pathConfig=pathConfig);
-}
+}