Searched defs:expected (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | selftest.sml | 8 val expected = List.tabulate(10, fn i => "foo" ^ Int.toString (i + 1)) value
|
/seL4-l4v-master/HOL4/src/list/src/ |
H A D | selftest.sml | 145 val expected = [���0 < LENGTH ([]:num list)���, ���0 < LENGTH (SNOC (x:num) l')���] value
|
/seL4-l4v-master/HOL4/src/proofman/tests/ |
H A D | selftest.sml | 112 val expected = pred strings value 256 val expected = [D(T,T), D(F,T), D(T,F), D(F,F)] value 308 val expected = [G ���^f T = y���, G ���^f F = y���] value [all...] |
/seL4-l4v-master/HOL4/tools/mode-tests/ |
H A D | holscript-tests.el | |
/seL4-l4v-master/HOL4/src/boss/ |
H A D | selftest.sml | 294 val expected = [([] : term list, ���MAP (f:num -> num) [] = []���), value 306 val expected = [([] : term list, ���MAP (f:num -> num) [] = []���), value 319 val expected = value
|
/seL4-l4v-master/HOL4/src/coretypes/ |
H A D | pairTools.sml | 141 local val expected = PERR "PFUN_EQ_RULE" "expected f <vstruct> = g <vstruct>" value
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | selftest.sml | 848 val expected = if String.sub(expected0, size expected0 - 1) = #"\n" then value [all...] |
/seL4-l4v-master/HOL4/src/1/ |
H A D | selftest.sml | 243 val expected = let value 594 val expected = mk_conj(mk_comb(I, p), mk_comb(I, q)) value 604 val expected = lmk(List.tabulate(3, B)) value 751 val expected value 876 val expected = ``Q (y:'a) (f (ARB:'b) : 'c) : bool`` value [all...] |
Completed in 89 milliseconds