Lines Matching refs:tag
33 for (entry, tag, _, inputs) in p.entries:
39 print 'Vars deps escaped in %s in %s: %s' % (tag,
91 tags = set ([tag for (tag, n, vc) in rep.node_pc_env_order])
94 for tag in tags:
95 print "Walking %s in model" % tag
96 n_vcs = walk_model (rep, tag, m)
115 def walk_model (rep, tag, m):
117 if tag2 == tag
119 rep.get_pc ((n, vc), tag))
376 def trace_mem (rep, tag, m, verbose = False, simplify = True, symbs = True,
379 ns = walk_model (rep, tag, m)
395 env = rep.node_pc_envs[(tag, n, vc)][1]
451 for tag in tags:
452 print '%s mem trace:' % tag
453 trace_mem (rep, tag, m, verbose = verbose, symbs = symbs)
506 def trace_suspicious_mem (rep, m, tag = 'C'):
507 cs = trace_mem (rep, tag, m)
536 def trace_var (rep, tag, m, v):
538 ns = walk_model (rep, tag, m)
547 (_, env) = rep.get_node_pc_env ((n, vc), tag)
578 def trace_deriv_ops (rep, m, tag):
579 n_vcs = walk_model (rep, tag, m)
756 split_hyps = sorted (set ([(hyp2, tag) for (hyp, tag) in kept_hyps
760 def_hyps = [(unfold_defs (solv.defs, h, 2), tag)
761 for (h, tag) in kept_hyps]
806 for (tag, n, vc) in rep.node_pc_env_order:
807 (pc, env) = rep.get_node_pc_env ((n, vc), tag = tag)
849 (_, ((n, tag), _)) = res
850 hyp = rep_graph.pc_true_hyp (((n, restrs), tag))
855 def init_true_hyp (p, tag, expr):
856 n = p.get_entry (tag)
857 vis = ((n, ()), tag)