Z3编译选项

Question

我想知道Z3是否使用_SECURE_SCL = 0进行编译，因为我在另一个需要将其设置为0的应用程序中使用它。

谢谢，

AG

Answer 1

我们的构建配置不会更改SECURE_SCL选项的默认值。 因此，在VS2010下，它应该在释放模式下设置为0： http://msdn.microsoft.com/en-us/library/aa985896(v=vs.100).aspx