This project is read-only.


Segmentation Fault


I found a segmentation fault in one of my Z3 experiments.
I thought I would report it like a bug tracker.

I have attached the code which created the segmentation fault with version 4.1

This is experimental code, so there maybe a fault in coding.
I am trying to figure it out.

Thanks !

file attachments

Closed May 14, 2013 at 1:20 PM by leodemoura
The bug was fixed in the latest version.


leodemoura wrote Apr 8, 2013 at 11:12 PM

I did not manage to reproduce the bug using the official release (v4.3.1) nor the working-in-progress branch.
Could you upgrade and try again?