Skip to content
Snippets Groups Projects
Commit af3a83ae authored by Simon Schwitanski's avatar Simon Schwitanski :slight_smile:
Browse files

Fix RMA LocalConcurrency tests 

A few generated local concurrency tests for RMA were invalid RMA programs (e.g., P0 locks window of P1 but then tries to put to itself) and some other tests were falsely classified. This commit fixes those errors.
parent 6c7f54bd
No related branches found
No related tags found
1 merge request!21Fix RMA LocalConcurrency tests
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment