1REQUIRES: x86-registered-target
2RUN: not sancov -covered-functions %p/Inputs/test-linux_x86_64 2>&1 | FileCheck --check-prefix=NOCFILE %s
3
4NOCFILE: WARNING: No coverage file for {{.*}}test-linux_x86_64
5NOCFILE: ERROR: No valid coverage files given.
6
7