1open testutils Systeml
2
3infix ++
4val op++ = OS.Path.concat
5
6val _ = tprint "Test that buildheap fails"
7
8val stat = systeml [HOLDIR ++ "bin" ++ "buildheap", "-q", "-o", "heap", "-b",
9                    HOLDIR ++ "bin" ++ "hol.state0", "../thy1Theory"]
10
11val _ = if OS.Process.isSuccess stat then die "FAILED!" else OK()
12