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

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

Completed in 39 milliseconds