patterns['write2'] = gen.write[r]("2")
patterns['free1'] = gen.free[s]("1")
patterns['free2'] = gen.free[r]("2")
+ shortdesc = ' Local Concurrency with a P2P'
# Generate a message race
if s in gen.send and r in gen.irecv + gen.precv:
- replace = patterns
- replace['shortdesc'] = ' Local Concurrency with a P2P'
+ replace = patterns.copy()
+ replace['shortdesc'] = shortdesc
replace['longdesc'] = f'The message buffer in {r} is modified before the call has been completed.'
replace['outcome'] = 'ERROR: LocalConcurrency'
replace['errormsg'] = 'Local Concurrency with a P2P. The receive buffer in @{r}@ is modified at @{filename}@:@{line:MBIERROR2}@ whereas there is no guarantee the message has been received.'
gen.make_file(template, f'LocalConcurrency_{r}_{s}_nok.c', replace)
if s in gen.isend + gen.psend and r in gen.recv:
- replace = patterns
- replace['shortdesc'] = ' Local Concurrency with a P2P'
+ replace = patterns.copy()
+ replace['shortdesc'] = shortdesc
replace['longdesc'] = f'The message buffer in {s} is modified before the call has been completed.'
replace['outcome'] = 'ERROR: LocalConcurrency'
replace['errormsg'] = 'Local Concurrency with a P2P. The send buffer in @{s}@ is modified at @{filename}@:@{line:MBIERROR1}@ whereas there is no guarantee the message has been sent.'
gen.make_file(template, f'LocalConcurrency_{r}_{s}_nok.c', replace)
if s in gen.isend + gen.psend and r in gen.irecv + gen.precv:
- replace = patterns
- replace['shortdesc'] = ' Local Concurrency with a P2P'
+ replace = patterns.copy()
+ replace['shortdesc'] = shortdesc
replace['longdesc'] = f'The message buffer in {s} and {r} are modified before the calls have completed.'
replace['outcome'] = 'ERROR: LocalConcurrency'
replace['errormsg'] = 'Local Concurrency with a P2P. The message buffers in @{s}@ and @{r}@ are modified at @{filename}@:@{line:MBIERROR1}@ and @{filename}@:@{line:MBIERROR2}@ whereas there is no guarantee the calls have been completed.'
