Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
# this path looks like sancov/Inputs/../Inputs/ in the binary. # Make sure it is filtered out correctly. src:*/sancov/Inputs/test.cpp