Z3 bv-enable-int2bv-传播选项

（设置选项：bv-enable-int2bv-propagation true）

在线工作。但是，我的当地版本对此表示不满，说：

（错误“第1行第43列：未知参数 “bv_enable_int2bv_propagation”，这是一个旧参数名，invoke “z3-p”以获取新参数列表）

---

新的参数名是什么？我试图在

z3-p

的输出中找到它，但我不确定。

我假设您使用的是

不稳定的

（正在进行中的工作）分支，或者是夜间构建之一。夜间构建是使用

unstable

分支生成的。 此分支包含将在下一版本（Z3 v4.3.2）中提供的修改。正在运行正式版本（即，

master

分支）。下一版本（v4.3.2）将包含一个新的参数设置基础结构。这些选项被组织在不同的模块中。 此外，我只将最常用的参数移植到新框架中。 我以为没有人在使用参数

：bv-enable-int2bv-propagation

：）

反正， . 我在

unstable

分支中添加了参数

smt.bv.enable-int2bv

。

---

您现在可以通过重新编译

unstable

分支，或者等待修复在夜间构建中可用来获得修复。参数

smt.bv.enable-int2bv

也将出现在下一个正式版本v4.3.2中。是关于如何编译

分支的说明。
谢谢你，莱昂纳多。我得到了预编译的Mac二进制文件，它是不稳定的。我来看看新版本！