When the tracer finds a crash it does not change the predecessors which causes the state to be two states ahead of the previous state. The fix we decided on is to tick the state when we detect a crash.
When the tracer finds a crash it does not change the predecessors which causes the state to be two states ahead of the previous state. The fix we decided on is to tick the state when we detect a crash.

schieb/angr,iamahuman/angr,angr/angr,schieb/angr,angr/angr,iamahuman/angr,iamahuman/angr,angr/angr,schieb/angr