It is permitted for a module to have no version number at all, but if it is set, it must have been incremented from the previous value, as otherwise this case would be indistinguishable from developer error (forgetting to increment the version), which is what we're testing for. You can, however, explicitly exclude some files from being checked, by passing your own FileFinder.