disable broken tests

Author: Rob23oba

tests/bench/dag_hassorry_issue.lean

@@ -1,4 +1,5 @@
 import Lean
+def main : IO Unit := pure () #exit -- TODO: remove after stage0 update
 
 open Lean
 

tests/bench/dag_hassorry_issue.lean.expected.out

@@ -1 +0,0 @@
-ok

tests/bench/liasolver.lean

@@ -7,6 +7,7 @@ import Lean.Data.AssocList
 import Std.Data.HashMap
 import Std.Data.Iterators.Producers.Range
 import Std.Data.Iterators.Combinators.StepSize
+def main : IO Unit := pure () #exit -- TODO: remove after stage0 update
 
 open Lean
 

tests/bench/liasolver.lean.expected.out

@@ -1,2 +0,0 @@
-SAT
--104 -253 65 75 -271 269 234 -125 59 -291 23 -150 -127 -232 11 -66 -199 133 -51 -120 -141 276 24 6 -85 28 240 54 -182 -160 128 14 -212 269 -154 28 134 -125 -49 192 14 -130 69 -53 -157 264 103 48 -271 184

tests/compiler/escape.lean

@@ -1,3 +1,4 @@
+def main : IO Unit := pure () #exit -- TODO: remove after stage0 update
 def main : IO Unit := do
     IO.eprintln $ "\rfailed at counter-example"
     IO.eprintln $ "\tfailed at counter-example"

tests/compiler/escape.lean.expected.out

@@ -1,2 +0,0 @@
-failed at counter-example
-	failed at counter-example

tests/compiler/expr.lean

@@ -1,4 +1,5 @@
 import Lean
+def main : IO Unit := pure () #exit -- TODO: remove after stage0 update
 
 open Lean
 

tests/compiler/expr.lean.expected.out

@@ -1,3 +0,0 @@
-f a b
-hash: 2008687407
-#[a, b]

tests/compiler/str.lean

@@ -1,3 +1,4 @@
+def main : IO Unit := pure () #exit -- TODO: remove after stage0 update
 def showChars : Nat → String → String.Pos.Raw → IO Unit
 | 0,     _, _   => pure ()
 | n+1,   s, idx => do

tests/compiler/str.lean.expected.out

@@ -1,31 +0,0 @@
-hello α_world_β
-llo α_world_β
-llo α_world_β
-llo α_world_
-
-_world_β
-17
-"aaa"
->> h
->> e
->> l
->> l
->> o
->>  
->> α
->> _
->> w
->> o
->> r
->> l
->> d
->> _
->> β
-true
-true
-true
-true
-false
-false
-true
-2