JCTyBlaidd
|
aaf8ca4c77
|
Fix review changes
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
4e74f9f013
|
Change to disable mir-opt in compile-flags
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
a30105df0b
|
Defeat the mir-opt=3 optimizer.
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
296ba8b1c8
|
Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests
|
2020-12-13 11:04:58 +00:00 |
|
JCTyblaidd
|
c4ccd0b6a1
|
Fix nits
Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
f4bcef1113
|
Increase sleep times for the scheduler
|
2020-12-13 11:04:58 +00:00 |
|
JCTyBlaidd
|
c45b1b16be
|
More tests, fix issue 1643 and detect races with allocation.
|
2020-12-13 11:04:58 +00:00 |
|