Searched refs:last_proof (Results 1 - 2 of 2) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ | ||
| H A D | debug.py | 689 proof = search.last_proof[0] 700 proof = search.last_proof[0] |
| H A D | search.py | 54 last_proof = [None] variable 62 last_proof[0] = proof |
Completed in 59 milliseconds