10 lines · plain
1REQUIRES: x86-registered-target && host-byteorder-little-endian2RUN: sancov -print-coverage-stats %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s3 4CHECK: all-edges: 85CHECK: cov-edges: 56CHECK: all-functions: 27CHECK: cov-functions: 28 9 10