Z3 Kompilierungsoption

Question

Ich mag würde wissen, ob Z3 mit _SECURE_SCL kompiliert = 0 oder nicht, weil ich es in einer anderen Anwendung verwenden, die es

Danke, auf 0 zu setzen erfordert

AG .

Answer 1

Unsere Build-Konfiguration ändert nicht den Standardwert der Option SECURE_SCL. Es sollte daher im Freigabemodus unter VS2010 auf 0 gesetzt werden: http://msdn.microsoft.com/en-us/library/aa985896(v=vs.100).aspx