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

/seL4-l4v-10.1.1/graph-refine/
H A Dstats.py13 def scan_proofs (res_f): function
50 proofs = scan_proofs (open (fname))
209 proofs = scan_proofs (open (fname))
H A Dgraph-refine.py328 prev_proofs = stats.scan_proofs (open (fname))

Completed in 34 milliseconds