Searched refs:err_cond (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Dsearch.py1567 err_cond_sites = [(n, p.nodes[n].err_cond ()) for n in body]
1568 err_conds = set ([(n, cond) for (n, err_cond) in err_cond_sites
1569 if err_cond
1570 for assn in logic.split_conjuncts (mk_not (err_cond))
H A Dsyntax.py716 def err_cond (self): member in class:Node

Completed in 119 milliseconds