My problem is as followed,
Environment: 64 bit windows 7, vs 2010, z3-4.3.2
First, compiled Z3 from source(download from z3 homepage ), this step is ok and without any mistake (from the command window);
Second, tested the c++ example under the “src/example”, first, test function find_model_example1(), compile, link, this is no warning, and error. However, got stuck when run. Then, after I debug step by step, stuck at the second statement, “context c”;
1, std::cout << "find_model_example1\n";
2, context c;
3, expr x = c.int_const("x");
Keep going with F11 at this statement, it stuck at function “reinterpret_cast” , line 424 in api_context.cpp, keep going with F11, in the constructor of “context” :“context(config_params *, bool)”, function “m_replay_stack” will call function “copy_core”(vector.h), which triggered 0xC00000005 error.
这个问题似乎已经解决了。
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.