Add TCs for launch_with_result.c