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

/seL4-l4v-master/graph-refine/
H A Drep_graph.py97 return mk_vc_opts (opts)
108 def mk_vc_opts (opts): function
115 return mk_vc_opts (map (vc_num, nums) + map (vc_offs, offsets))
121 return mk_vc_opts (map (vc_num, range (n)))
127 return mk_vc_opts (map (vc_offs, range (n)))
130 return mk_vc_opts (map (vc_num, range (n)) + map (vc_offs, range (m)))
H A Dcheck.py17 from rep_graph import (vc_num, vc_offs, vc_double_range, vc_upto, mk_vc_opts, namespace
474 return (n, mk_vc_opts ([VisitCount (kind, i)

Completed in 44 milliseconds