Searched defs:elapsed (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/depchainloop/
H A Dselftest.sml21 val elapsed = Time.-(Time.now(), now) value
/seL4-l4v-10.1.1/HOL4/src/floating-point/native/
H A Dselftest.sml219 val elapsed = Timer.checkRealTimer tt; value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A Dselftest.sml54 val elapsed = Timer.checkRealTimer rt value
619 val elapsed = Timer.checkRealTimer tt value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure-mosml.sml60 val elapsed = timer() value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Dselftest.sml21 val elapsed = Timer.checkRealTimer rt value
748 val elapsed = Timer.checkRealTimer tt; value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sml297 fun elapsed wj = Time.-(Time.now(), #starttime wj) function

Completed in 109 milliseconds