Description

This test was originally part of the smtlib solver tests. When I removed the smtlib solver support, I kept the tests around to test the strings functionality in claripy and the z3 backend since they seemed useful, but this test in particular usually hung. This should be debugged and addressed so the test can be re-enabled.

Steps to reproduce the bug

No response

Environment

No response

Additional context

No response