Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
REQUIRES: x86-registered-target && host-byteorder-little-endian RUN: sancov -print %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s CHECK: 0x4e132b CHECK: 0x4e1472 CHECK: 0x4e1520 CHECK: 0x4e1553 CHECK: 0x4e1586