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