1*6a74ad6bSVitaly BukaREQUIRES: x86-registered-target && host-byteorder-little-endian 25c79bb36SMike AizatskyRUN: sancov -print-coverage-stats %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s 35c79bb36SMike Aizatsky 4f07f9f8bSMike AizatskyCHECK: all-edges: 8 5c89755e4SMike AizatskyCHECK: cov-edges: 5 6f07f9f8bSMike AizatskyCHECK: all-functions: 2 76b510a4cSMike AizatskyCHECK: cov-functions: 2 85c79bb36SMike Aizatsky 95c79bb36SMike Aizatsky 10