There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
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.