I am getting this error while running spin_testcount.pml
gcc: error: unrecognized command line option '-Wformat-overflow=0'; did you mean '-Wstrict-overflow='? spin: preprocessing failed gcc -std=gnu99 -Wformat-overflow=0 -E -x c "testcount.pml" > "pan.pre"
What can this be?
