[SV-COMP'18 15/19] Cure of consequences of some concurrency bug related to pthread_join.#2004

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:concurrency-bugtautschnig/cbmc:concurrency-bugCopy head branch name to clipboard