Config creation

Aug 28, 2014 at 4:36 PM
Is this normal that whith the following code:
#include <z3.h>
int main(void)
{
    Z3_config cfg = Z3_mk_config();
}
When steping into Z3_mk_config(), the debugger steps into Z3_mk_context(Z3_config cfg) instead of stepping into Z3_mk_config(void) as I would have expected ?

I am using one of the latest unstable version of Z3, and Visual C++ Express edition 2013. It might be that my setup is messed, but I wonder how this could happen.

Best regard,

Alexandre.
Coordinator
Sep 1, 2014 at 2:24 PM
I haven't witnessed this on the Z3 codebase yet, but it has happened to me in other projects. Usually a clean recompilation of everything fixed it. I didn't really dig into why this can happen, but I think the toolchain can get confused when many functions are inlined and/or optimized away in Release mode. I don't think I've ever seen it happen in Debug mode though.
Sep 2, 2014 at 7:34 AM
Thank you Christophe. Indeed, I was mixing wrong dll versions at runtime.