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 115 milliseconds