Lines Matching defs:expected
582 fun tpp msg expected g t =
587 if result = expected then OK()
734 fun pdtest0 (nm, s,expected) =
739 if res = expected then OK()
744 fun pdtest (nm, s, expected) =
749 (exncheck (fn r => if r = expected then OK()
848 val expected = if String.sub(expected0, size expected0 - 1) = #"\n" then
854 if res = expected then OK() else die ("\nFAILED!\n" ^ res)
871 fun test (s, expected) =
875 (case r of Ident s' => s' = expected | _ => false)
919 fun test (s,expected) =
921 require_msg_eq expected HOLPP.add_string testfn s)