fixed specification.cpp tests