Dump the list into a file under /data. Makes is easier to figure out which ones are still missing.
Ideally, rather than dumping out the list of test cases, it would dump out the list of sinks that are unverifiable. This would require knowing which sink code block is associated with each test case. When a test case is unverifiable, dump the sink filename into a set (so duplicates are eliminated), then at the end, sort this set and dump out the list of sinks.
Dump the list into a file under /data. Makes is easier to figure out which ones are still missing.
Ideally, rather than dumping out the list of test cases, it would dump out the list of sinks that are unverifiable. This would require knowing which sink code block is associated with each test case. When a test case is unverifiable, dump the sink filename into a set (so duplicates are eliminated), then at the end, sort this set and dump out the list of sinks.