z3 - Z3 コンパイル オプション

Question

0 に設定する必要がある別のアプリケーションで Z3 を使用しているため、Z3 が _SECURE_SCL=0 でコンパイルされているかどうかを知りたいです。

ありがとうございました、

AG。

Answer 1

私たちのビルド構成は、SECURE_SCL オプションのデフォルト値を変更しません。したがって、VS2010 ではリリース モードで 0 に設定する必要があります: http://msdn.microsoft.com/en-us/library/aa985896(v=vs.100).aspx