diff options
Diffstat (limited to 'test/tools/sancov/stats.test')
| -rw-r--r-- | test/tools/sancov/stats.test | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/tools/sancov/stats.test b/test/tools/sancov/stats.test new file mode 100644 index 000000000000..05e712b0bde9 --- /dev/null +++ b/test/tools/sancov/stats.test @@ -0,0 +1,9 @@ +REQUIRES: x86_64-linux +RUN: sancov -print-coverage-stats %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s + +CHECK: all-edges: 9 +CHECK: cov-edges: 5 +CHECK: all-functions: 3 +CHECK: cov-functions: 2 + + |