Hi Ralf, since I don't have an arm64 machine available to try this out myself: Could you check whether this problem still exists in the current version of z3?
Your bug report refers to a quite old version of z3, so I'd say there is a good chance that the issue has been fixed since then. If not, then at least I know I need to forward the issue to upstream. Best regards, Fabian On Sun, 11 Sep 2016 14:43:33 +0200 Ralf Treinen <trei...@pps.univ-paris-diderot.fr> wrote: > Package: z3 > Version: 4.4.1-0.2 > > Hello, executing z3 on arm64 on the attached file produces a Segmentation > fault, while it works fine on amd64. I didn't check any other architectures. > > z3 -smt2 gauss-Gauss-WP_parameter_gauss.smt2 > Segmentation fault > > -Ralf.