In standalone mode after a detach with -satisfy_w_xor_x, an overactive assert is hit. We relax it here.
Augments the tool.drcacheoff.gencode test to cover this case.
Fixes #5621 (closed)
In standalone mode after a detach with -satisfy_w_xor_x, an overactive assert is hit. We relax it here.
Augments the tool.drcacheoff.gencode test to cover this case.
Fixes #5621 (closed)