6aac747a8d9a55ca91d6408fee9a386289720a8e,pyprob/state.py,,extract_address,#,43

Before Change

    //     print(t[0], t[1], t[2], t[3])
    frame = tb[-3]
    // return "{0}/{1}/{2}".format(frame[1], frame[2], frame[3])
    return "{0}/{1}".format(frame[1], frame[2])

def sample(distribution):
    global current_trace

After Change

//    return "{0}/{1}".format(frame[1], frame[2])
    // Retun an address in the format:
    // "instruction pointer" / "qualified function name"
    frame = sys._getframe(3)
    ip = frame.f_lasti
    names = []
    while frame is not None:
        names.append(frame.f_code.co_name)
        frame = frame.f_back

Instances