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

/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/prog/
H A Driscv_progLib.sml641 val tst = Count.apply hex o random_hex value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/prog/
H A Dm0_progLib.sml727 val tst = Count.apply (fn s => case Lib.total m0_spec_hex s of value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1644 val tst = dp 8 value
[all...]

Completed in 69 milliseconds