Pantograph/Test/Main.lean

18 lines
366 B
Plaintext
Raw Normal View History

2023-05-22 11:47:46 -07:00
import LSpec
import Pantograph.Symbols
import Test.Proofs
import Test.Serial
2023-05-22 11:47:46 -07:00
open Pantograph.Test
2023-05-22 11:47:46 -07:00
unsafe def main := do
Lean.enableInitializersExecution
Lean.initSearchPath (← Lean.findSysroot)
let suites := [
test_serial,
test_proofs
]
let all ← suites.foldlM (λ acc m => do pure $ acc ++ (← m)) LSpec.TestSeq.done
LSpec.lspecIO $ all