Fix the user-triggered termination test#664

therault wants to merge 1 commit intoICLDisco:masterICLDisco/parsec:masterfrom

therault:fix-utt-testtherault/parsec:fix-utt-testCopy head branch name to clipboard