SOURCES = verifyspec.cpp