＆＃34;上下文＆＃34;无法在最新版本的z3中使用c ++ API构建（4.3.2）

Question

我的问题如下：

环境：64位Windows 7，vs 2010，z3-4.3.2

首先，从源代码编译Z3（从z3主页下载），这一步没问题（从命令窗口）没有错误;

其次，在“src / example”下测试了c ++示例，首先，测试函数find_model_example1（），编译，链接，这是没有警告和错误。但是，跑步时卡住了。然后，在我逐步调试之后，停留在第二个语句“context c”;

1, std::cout << "find_model_example1\n";
2, context c;
3, expr x = c.int_const("x");

在此语句中继续使用F11，它停留在函数“reinterpret_cast”，api_context.cpp中的第424行，继续使用F11，在“context”的构造函数中：“context（config_params *，bool）”，函数“m_replay_stack”将调用函数“copy_core”（vector.h），它会触发0xC00000005错误。

Answer 1

此时此问题似乎已得到解决。