Fatal编程技术网
  • z3/
  • Z3编译选项

Z3编译选项

z3

Z3编译选项,z3,Z3,我想知道Z3是否使用_SECURE_SCL=0编译，因为我正在另一个应用程序中使用它，该应用程序要求它设置为0 谢谢, AG.我们的构建配置不会更改SECURE_SCL选项的默认值。 因此，在VS2010下，其在发布模式下应设置为0：

我想知道Z3是否使用_SECURE_SCL=0编译，因为我正在另一个应用程序中使用它，该应用程序要求它设置为0

谢谢,

AG.

我们的构建配置不会更改SECURE_SCL选项的默认值。 因此，在VS2010下，其在发布模式下应设置为0：