11 lines
239 B
Text
11 lines
239 B
Text
REQUIRES: x86_64-linux
|
|
RUN: sancov -obj %p/Inputs/test-linux_x86_64 -print %p/Inputs/test-linux_x86_64.sancov | FileCheck %s
|
|
|
|
CHECK: 0x4dbe2b
|
|
CHECK: 0x4dbf72
|
|
CHECK: 0x4dbfec
|
|
CHECK: 0x4dc033
|
|
CHECK: 0x4dc06a
|
|
CHECK: 0x4dc09d
|
|
CHECK: 0x4dc0d0
|
|
|