test_rex.test_reconstraining is failing in CI

[twizmwazin]

Description

Traceback (most recent call last):
  File "/__w/rex/rex/build/src/rex/tests/test_rex.py", line 405, in test_reconstraining
    assert _do_pov_test(x)
AssertionError

Steps to reproduce the bug

Run CI

Environment

CI

Additional context

No response

[ltfish]

According to my last debugging attempt, this issue is caused by Z3 sometimes returning random values that would lead to memory writes that will crash the binary instead of properly pwning it. I think the solution is improving the test case.

[Kyle-Kyle]

closed as we are not seeing it recently