Searched refs:run_time (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in151 rts_module.cpp rtsentry.cpp run_time.cpp save_vec.cpp \
182 run_time.lo save_vec.lo savestate.lo scanaddrs.lo sharedata.lo \
227 ./$(DEPDIR)/rtsentry.Plo ./$(DEPDIR)/run_time.Plo \
515 run_time.h \
563 run_time.cpp \
695 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/run_time.Plo@am__quote@ # am--include-marker
955 -rm -f ./$(DEPDIR)/run_time.Plo
1056 -rm -f ./$(DEPDIR)/run_time.Plo
/seL4-l4v-master/graph-refine/
H A Dsolver.py221 def run_time (elapsed, proc): function
1158 trace (' after %s' % run_time (end - start, proc))
1203 trace (' after %s' % run_time (None, proc))
1366 run_time (end - start, proc)))

Completed in 40 milliseconds