1
Vote

Segmentation errors in many versions

description

The attached file causes a segmentation error in the following z3 versions / hashcodes:

"4.3.2","2ca14b49fe45"
"4.3.2","784307fc3001"
"4.3.2","5e72cf0123f6"
"4.4.0","0482e7fe727c"

Thanks!

file attachments

comments

cipher1024 wrote May 13, 2015 at 12:21 AM

It is on Mac OS X Mavericks

wintersteiger wrote May 18, 2015 at 5:45 PM

Z3 has moved to github, see here:
https://github.com/Z3Prover/z3

We're not using the codeplex repository or websites anymore. Would you mind opening a new issue there? Thanks!

cipher1024 wrote May 18, 2015 at 7:08 PM

Sure, thanks for the info!

How long ago did it move?