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

/seL4-l4v-master/graph-refine/
H A Dstats.py19 def scan_proofs (res_f): function
56 proofs = scan_proofs (open (fname))
215 proofs = scan_proofs (open (fname))
H A Dgraph-refine.py326 prev_proofs = stats.scan_proofs (open (fname))

Completed in 32 milliseconds