Lines Matching refs:visits
264 def emitInconsistentTrace(fout, full_context,visits,line=None):
270 for x in visits:
280 max_stack_i =max(visits, key = lambda x: x[1])[1]
315 #one_context is true iff all visits lie in context 0
316 def emitInconsistent(fout, context,visits):
317 if visits == []:
325 if all ([l > 0 for (_, l) in visits]):
326 m = min ([l for (_, l) in visits])
327 visits = [(baddr, l - m) for (baddr, l) in visits]
330 #padding visits with (context[-1],0) should work.
332 if all ([l > 0 for (_, l) in visits]):
333 visits.append( (bbAddr(context[-1]),0) )
336 print 'visits: %r' % visits
338 base_addr = [baddr for (baddr, l) in visits if l == 0][0]
349 emitInconsistentTrace(fout,[context[-1]]+tid_ctxt,visits)
354 emitInconsistentTrace(fout,tid_ctxt,visits)
421 [stack,visits,verdict] = bits
424 visits = trace_refute.parse_num_arrow_list(visits)
425 bb_visits = [(bbAddr(x[0]),x[1]) for x in visits]
426 in_loops = [x for x in (stack[1:] + [x[0] for x in visits]) if inFunLoop(x)]