After correcting angr/angr#639, I run into this problem. Printing out self.simgr at each iteration of next_branch gives me the same state. However I digged into process method of VEX Engine and it indeed gave the successor of the state after processing.
After correcting angr/angr#639, I run into this problem. Printing out
self.simgrat each iteration ofnext_branchgives me the same state. However I digged intoprocessmethod of VEX Engine and it indeed gave the successor of the state after processing.