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

/seL4-l4v-10.1.1/graph-refine/
H A Dgraph-refine.py316 check.save_checked_proofs[0] = save
H A Dcheck.py767 save_checked_proofs = [None] variable
788 if save_checked_proofs[0]:
789 save = save_checked_proofs[0]

Completed in 78 milliseconds