[ 0:00] + cat
[ 0:00] + cat
[ 0:00] + divine cc --dont-link a.c b.c
[ 0:00] compiling a.c
[ 0:00] compiling b.c
[ 0:00] + llvm-nm a.bc
[ 0:00] + grep dont_link_test_foo
[ 0:00] 00000000 T dont_link_test_foo
[ 0:00] + llvm-nm b.bc
[ 0:00] + grep dont_link_test_bar
[ 0:00] 00000000 T dont_link_test_bar
[ 0:00] + llvm-nm a.bc
[ 0:00] + grep dont_link_test_bar
[ 0:00] + llvm-nm b.bc
[ 0:00] + grep dont_link_test_foo
[ 0:00] + check debris