Undo change

dafny-lang · Apr 18, 2024 · 87dcec4 · 87dcec4
1 parent 43283b3
commit 87dcec4
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/Source/TestDafny/MultiBackendTest.cs b/Source/TestDafny/MultiBackendTest.cs
@@ -340,7 +340,6 @@ private async Task<int> RunWithCompiler(ForEachCompilerOptions options, IExecuta
 
     var (exitCode, outputString, error) = await RunDafny(options.DafnyCliPath, dafnyArgs);
     var compilationOutputPrior = new Regex("\r?\nDafny program verifier[^\r\n]*\r?\n").Match(outputString);
-
     if (compilationOutputPrior.Success) {
       outputString = outputString.Remove(0, compilationOutputPrior.Index + compilationOutputPrior.Length);
     }
@@ -375,11 +374,6 @@ private async Task<int> RunWithCompiler(ForEachCompilerOptions options, IExecuta
       return checkResult;
     }
 
-    // If we hit errors, check for known unsupported features or bugs for this compilation target
-    if (error == "" && OnlyAllowedOutputLines(backend, outputString)) {
-      return 0;
-    }
-
     await output.WriteLineAsync("Execution failed, for reasons other than known unsupported features. Output:");
     await output.WriteLineAsync(outputString);
     await output.WriteLineAsync("Error:");