addFilter("devel-file-in-non-devel-package")
addFilter("files-duplicate .+/top.v")
addFilter("files-duplicate .+/input.vc")
