``` [521] % z3release smt.string_solver=z3str3 z3seq-long-strings-segfault.smt2 unsat [522] % cvc4 -q z3seq-long-strings-segfault.smt2 unsat [523] % [523] % z3release small.smt2 Segmentation fault [524] % ``` Here is the file: [z3seq-long-strings-segfault.smt2.zip](https://github.com/Z3Prover/z3/files/5684727/z3seq-long-strings-segfault.smt2.zip) Commit: 7fe8298
Here is the file:
z3seq-long-strings-segfault.smt2.zip
Commit: 7fe8298