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

/seL4-l4v-10.1.1/graph-refine/
H A Dgraph-refine.py71 proof = search.build_proof (p)
H A Dsearch.py56 def build_proof (p): function

Completed in 85 milliseconds