#formal-verification #model-checking #promela #spin #activetcl
Вопрос:
Я установил проверку модели вращения в своей Windows 10, но после проверки синтаксиса файла она показывает ошибку ниже.
spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "eratosthenes.pml" gt; "pan.pre" gcc: error: unrecognized command line option '-Wformat-overflow=0'; did you mean '-Wstrict-overflow='?