tests/lean/hashmap_on_disk/Main.lean


1
2
3
4
5
6
7
8
9
10

import Base.Primitives
import HashmapMain.Funs

#eval hashmap_test1_fwd == .ret ()

def main : IO Unit :=
  if hashmap_test1_fwd == .ret () then
    IO.println s!"Test OK"
  else
    throw (IO.userError s!"Test failed")