SIGSEGV使用签名的mkBV2Int发生

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); 

如果签名== false，则不会出现问题。

我在MAC OS X上运行Z3。

有什么想法吗？