macos - 使用签名的 mkBV2Int 发生 SIGSEGV

Question

以下代码导致 SIGSEV

Map<String, String> settings = new HashMap<String, String>();
settings.put("model", "true");
Context z3_ctx = new Context(settings);
BitVecExpr bv_left = z3_ctx.mkBV(10, 32);
IntExpr ret_val = z3_ctx.mkBV2Int(bv_left, true); 

如果signed==false，那么就不会发生问题。

我在 MAC OS X 上运行 Z3。

有任何想法吗？