Searched refs:simplify_sexp (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | debug.py | 135 bit = simplify_sexp (bit, rep, m, flatten = False)
323 imp2 = simplify_sexp (imp2, rep, m)
404 addr_s = simplify_sexp (addr_s, rep, m)
405 v_s = simplify_sexp (v_s, rep, m)
426 def simplify_sexp (smt_xp, rep, m, flatten = True): function
432 return simplify_sexp (x, rep, m, flatten)
434 return simplify_sexp (y, rep, m, flatten)
436 smt_xp = tuple ([simplify_sexp (x, rep, m, False)
|
Completed in 50 milliseconds