Searched refs:numexit (Results 1 – 1 of 1) sorted by relevance
1540 estack[numexit*2] = x; in chooseRandomExit()1542 dstack[numexit*2] = 0; in chooseRandomExit()1544 numexit++; in chooseRandomExit()1548 estack[numexit*2] = x; in chooseRandomExit()1550 dstack[numexit*2] = 0; in chooseRandomExit()1552 numexit++; in chooseRandomExit()1561 dstack[numexit*2] = -1; in chooseRandomExit()1563 numexit++; in chooseRandomExit()1569 dstack[numexit*2] = 1; in chooseRandomExit()1571 numexit++; in chooseRandomExit()[all …]