REQUIRES: x86-registered-target
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.