Concurrency: treat updates to an unknown field as atomic#6123

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:concurrency-field-updatestautschnig/cbmc:concurrency-field-updatesCopy head branch name to clipboard