patterns['operation1'] = gen.operation[r]("1")
# Generate the incorrect matching
- replace = patterns
+ replace = patterns.copy()
replace['shortdesc'] = 'The message ordering is non-deterministic.'
- replace['longdesc'] = f'The code assumes a fixed order in the reception of messages while the message ordering is non-deterministic.'
+ replace['longdesc'] = 'The code assumes a fixed order in the reception of messages while the message ordering is non-deterministic.'
replace['outcome'] = 'ERROR: MessageRace'
replace['errormsg'] = 'P2P message race which can cause a deadlock. @{r}@ at @{filename}@:@{line:MBIERROR}@ is called with ANY_SRC.'
gen.make_file(template, f'MessageRace_{r}_{s}_nok.c', replace)