Searched refs:mk_vc_opts (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py99 return mk_vc_opts (opts)
110 def mk_vc_opts (opts): function
117 return mk_vc_opts (map (vc_num, nums) + map (vc_offs, offsets))
123 return mk_vc_opts (map (vc_num, range (n)))
129 return mk_vc_opts (map (vc_offs, range (n)))
132 return mk_vc_opts (map (vc_num, range (n)) + map (vc_offs, range (m)))
H A Dcheck.py19 from rep_graph import (vc_num, vc_offs, vc_double_range, vc_upto, mk_vc_opts, namespace
476 return (n, mk_vc_opts ([VisitCount (kind, i)

Completed in 46 milliseconds