1REQUIRES: x86_64-linux
2RUN: sancov -obj %p/Inputs/test-linux_x86_64 -print %p/Inputs/test-linux_x86_64.sancov | FileCheck %s
3
4CHECK: 0x4dbe2b
5CHECK: 0x4dbf72
6CHECK: 0x4dbfec
7CHECK: 0x4dc033
8CHECK: 0x4dc06a
9CHECK: 0x4dc09d
10CHECK: 0x4dc0d0
11
12