我已经在我的 Windows 10 中安装了自旋模型检查器，但是在对文件进行语法检查后，它显示以下错误。
spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "eratosthenes.pml" > "pan.pre"
gcc: error: unrecognized command line option '-Wformat-overflow=0'; did you mean '-Wstrict-overflow='?