Searched defs:fails (Results 1 - 2 of 2) sorted by path
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/ | ||
| H A D | arm_progLib.sml | 1219 val fails = ref ([]:string list) value |
| H A D | test.sml | 8 val fails = ref ([]:string list); value |
Completed in 58 milliseconds