Z3在与Java程序交互时死亡

Question

我有一个Java程序，它启动一个Z3进程并通过捕获它的stdin / out，发送SMTLIB2命令并读取它的答案来与它交互。

在OSX上，这样可以正常工作，但在Linux上经常会发生这样的事情：从它的stdout读取时，Z3意外死亡，错误代码为139。

此错误代码的含义是什么？

Answer 1

回答是在评论中提供的。来自MikeJRamsey56，代码139是128 + 11，其中11是SIGSEV，违反分段。从OP开始，这似乎是Z3 4.4.1中已经修复的错误。