diff options
Diffstat (limited to 'test/tools/sancov/validation.test')
| -rw-r--r-- | test/tools/sancov/validation.test | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/tools/sancov/validation.test b/test/tools/sancov/validation.test new file mode 100644 index 000000000000..437870cf597b --- /dev/null +++ b/test/tools/sancov/validation.test @@ -0,0 +1,6 @@ +REQUIRES: x86_64-linux +RUN: not sancov -covered-functions %p/Inputs/test-linux_x86_64 2>&1 | FileCheck --check-prefix=NOCFILE %s + +NOCFILE: WARNING: No coverage file for {{.*}}test-linux_x86_64 +NOCFILE: ERROR: No valid coverage files given. + |