1*6a74ad6bSVitaly BukaREQUIRES: x86-registered-target 28e216703SMike AizatskyRUN: not sancov -covered-functions %p/Inputs/test-linux_x86_64 2>&1 | FileCheck --check-prefix=NOCFILE %s 38e216703SMike Aizatsky 48e216703SMike AizatskyNOCFILE: WARNING: No coverage file for {{.*}}test-linux_x86_64 58e216703SMike AizatskyNOCFILE: ERROR: No valid coverage files given. 68e216703SMike Aizatsky 7