Searched defs:tst (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/prog/
H A Dm0_progLib.sml728 val tst = Count.apply (fn s => case Lib.total m0_spec_hex s of value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1644 val tst = dp 8 value
[all...]

Completed in 89 milliseconds