Z3 在与 Java 程序交互时死亡
Z3 dies while interacting with a Java program
我有一个 Java 程序启动 Z3 进程并通过捕获其 stdin/out 与它交互，发送 SMTLIB2 命令并读取其答案。
在 OSX 上工作正常，但在 Linux 上经常发生从其标准输出读取时 Z3 意外死机并出现错误代码 139。
这个错误代码是什么意思？
答案已在评论中提供。来自 MikeJRamsey56，代码 139 是 128 + 11，其中 11 是 SIGSEV，这是一个分段违规。从 OP 来看，这似乎是 Z3 4.4.1 中的一个错误，此后已修复。
我有一个 Java 程序启动 Z3 进程并通过捕获其 stdin/out 与它交互，发送 SMTLIB2 命令并读取其答案。
在 OSX 上工作正常，但在 Linux 上经常发生从其标准输出读取时 Z3 意外死机并出现错误代码 139。
这个错误代码是什么意思？
答案已在评论中提供。来自 MikeJRamsey56，代码 139 是 128 + 11，其中 11 是 SIGSEV，这是一个分段违规。从 OP 来看，这似乎是 Z3 4.4.1 中的一个错误，此后已修复。