Pantograph/Test/Main.lean

22 lines
421 B
Plaintext
Raw Permalink Normal View History

2023-05-22 11:47:46 -07:00
import LSpec
import Test.Catalog
2023-11-04 15:00:51 -07:00
import Test.Holes
2023-08-13 21:19:06 -07:00
import Test.Integration
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
2023-11-06 11:43:57 -08:00
def main := do
Lean.initSearchPath (← Lean.findSysroot)
let suites := [
2023-11-04 15:00:51 -07:00
Holes.suite,
Integration.suite,
Proofs.suite,
Serial.suite,
Catalog.suite
]
let all ← suites.foldlM (λ acc m => do pure $ acc ++ (← m)) LSpec.TestSeq.done
LSpec.lspecIO $ all