flexspec: more comprehensive test coverage