Searched defs:expected (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A Dselftest.sml9 val expected = List.tabulate(10, fn i => "foo" ^ Int.toString (i + 1)) value
/seL4-l4v-10.1.1/HOL4/src/proofman/tests/
H A Dselftest.sml110 val expected = pred strings value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairTools.sml129 local val expected = PERR "PFUN_EQ_RULE" "expected f <vstruct> = g <vstruct>" value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dselftest.sml716 val expected = if String.sub(expected0, size expected0 - 1) = #"\n" then value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml248 val expected = let value
589 val expected = mk_conj(mk_comb(I, p), mk_comb(I, q)) value
599 val expected = lmk(List.tabulate(3, B)) value
747 val expected value
831 val expected = ``Q (y:'a) (f (ARB:'b) : 'c) : bool`` value
[all...]

Completed in 93 milliseconds