complain if the test suites do not produce result files
complain if the test suites do not produce result files

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script