Mark passing concurrency test as such#4365

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:passing-testtautschnig/cbmc:passing-testCopy head branch name to clipboard