Lines Matching defs:expected
112 val expected = pred strings
115 if got = expected then OK()
116 else die ("\nExpected: " ^ String.toString expected ^
149 fun testf(nm, t, mk, expected) =
154 if expected = gstr then OK()
156 "Expected:\n\"" ^ String.toString expected ^ "\"\n")
256 val expected = [D(T,T), D(F,T), D(T,F), D(F,F)]
259 require_msg (check_result (list_eq goal_eq expected)) goalprint
308 val expected = [G ���^f T = y���, G ���^f F = y���]
311 require_msg (check_result (list_eq goal_eq expected)) goalprint