Hello, I'm trying to track klee::Array object creation in Klee by printing some output from the Array constructor. I was surprised to notice that constant arrays (the ones that get a const_arr* name) show up in my output only when Klee is compiled as Release. When I run the Debug version of the executable, constant arrays are not reported as being created anymore, even though printing the symbolic state constraints show them as being existent.
Do you have any idea why is this happening? More over, what is the reason for having lazy initialization for constant arrays? (this is what happens as far as I studied the code) Many thanks, Stefan Bucur
