Z3在与Java程序交互时死亡

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

在OSX上，这可以正常工作，但在Linux上，从标准输出Z3读取数据时，经常会意外死亡，错误代码为139

---

这个错误代码是什么意思？

答案在评论中提供。从MikeJRamsey56，代码139是128+11，其中11是SIGSEV，这是一个分段冲突。从OP上看，这似乎是Z3 4.4.1中的一个bug，已经修复。

答案在评论中提供。从MikeJRamsey56，代码139是128+11，其中11是SIGSEV，这是一个分段冲突。从OP上看，这似乎是Z3 4.4.1中的一个bug，现已修复。

可能重复-Z3的哪个版本以及导致139的代码是什么？Linux系统在收到信号时返回错误128+信号。128 + 11 = 139 . 信号11为SIGSEV（即分段冲突）。=在一些C++代码中有一个内存访问错误。谢谢你的反馈，Z3的版本是4.4.1。今天我克隆并构建了Z3的主分支，似乎这个问题已经解决了。+1表示“这个错误代码意味着什么？”。这不是重复的，它是一个不同的API，询问代码的含义，这在注释中得到了回答，而不是在其他问题中。也许你可以将其作为自己的答案发布，并在时间结束时接受。可能重复-Z3的哪个版本以及导致139的代码是什么？Linux系统在收到信号时返回错误128+信号。128 + 11 = 139 . 信号11为SIGSEV（即分段冲突）。=在一些C++代码中有一个内存访问错误。谢谢你的反馈，Z3的版本是4.4.1。今天我克隆并构建了Z3的主分支，似乎这个问题已经解决了。+1表示“这个错误代码意味着什么？”。这不是重复的，它是一个不同的API，询问代码的含义，这在注释中得到了回答，而不是在其他问题中。也许你可以把它作为你自己的答案贴出来，等时间到了再接受它。