Bug#837415: [arm64] segmentation fault

[Fabian Wolff]

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 <treinen at 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.