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