Skip to content

Commit 8483ccf

Browse files
RalfJungRalfJung
committed
bless genmc tests
1 parent 3959c2a commit 8483ccf

File tree

6 files changed

+15
-15
lines changed

6 files changed

+15
-15
lines changed

‎tests/genmc/fail/shims/mutex_diff_thread_unlock.stderr‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
1818
= note: inside `std::sys::env::PLATFORM::getenv` at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
1919
= note: inside `std::env::_var_os` at RUSTLIB/std/src/env.rs:LL:CC
2020
= note: inside `std::env::var_os::<&str>` at RUSTLIB/std/src/env.rs:LL:CC
21-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
21+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
2222
note: inside `miri_start`
2323
--> tests/genmc/fail/shims/mutex_diff_thread_unlock.rs:LL:CC
2424
|
@@ -48,7 +48,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
4848
= note: inside `std::sys::env::PLATFORM::getenv` at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
4949
= note: inside `std::env::_var_os` at RUSTLIB/std/src/env.rs:LL:CC
5050
= note: inside `std::env::var_os::<&str>` at RUSTLIB/std/src/env.rs:LL:CC
51-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
51+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
5252
note: inside `miri_start`
5353
--> tests/genmc/fail/shims/mutex_diff_thread_unlock.rs:LL:CC
5454
|

‎tests/genmc/pass/std/arc.check_count.stderr‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Running GenMC Verification...
22
warning: GenMC currently does not model spurious failures of `compare_exchange_weak`. Miri with GenMC might miss bugs related to spurious failures.
3-
--> RUSTLIB/std/src/thread/mod.rs:LL:CC
3+
--> RUSTLIB/std/src/thread/id.rs:LL:CC
44
|
55
LL | match COUNTER.compare_exchange_weak(last, id, Ordering::Relaxed, Ordering::Relaxed) {
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ GenMC might miss possible behaviors of this code
@@ -46,7 +46,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
4646
|
4747
= note: BACKTRACE:
4848
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
49-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
49+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
5050
note: inside `main`
5151
--> tests/genmc/pass/std/arc.rs:LL:CC
5252
|
@@ -67,7 +67,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
6767
|
6868
= note: BACKTRACE:
6969
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
70-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
70+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
7171
note: inside `main`
7272
--> tests/genmc/pass/std/arc.rs:LL:CC
7373
|

‎tests/genmc/pass/std/arc.try_upgrade.stderr‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Running GenMC Verification...
22
warning: GenMC currently does not model spurious failures of `compare_exchange_weak`. Miri with GenMC might miss bugs related to spurious failures.
3-
--> RUSTLIB/std/src/thread/mod.rs:LL:CC
3+
--> RUSTLIB/std/src/thread/id.rs:LL:CC
44
|
55
LL | match COUNTER.compare_exchange_weak(last, id, Ordering::Relaxed, Ordering::Relaxed) {
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ GenMC might miss possible behaviors of this code
@@ -46,7 +46,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
4646
|
4747
= note: BACKTRACE:
4848
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
49-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
49+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
5050
note: inside `main`
5151
--> tests/genmc/pass/std/arc.rs:LL:CC
5252
|
@@ -67,7 +67,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
6767
|
6868
= note: BACKTRACE:
6969
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
70-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
70+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
7171
note: inside `main`
7272
--> tests/genmc/pass/std/arc.rs:LL:CC
7373
|

‎tests/genmc/pass/std/empty_main.stderr‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Running GenMC Verification...
22
warning: GenMC currently does not model spurious failures of `compare_exchange_weak`. Miri with GenMC might miss bugs related to spurious failures.
3-
--> RUSTLIB/std/src/thread/mod.rs:LL:CC
3+
--> RUSTLIB/std/src/thread/id.rs:LL:CC
44
|
55
LL | match COUNTER.compare_exchange_weak(last, id, Ordering::Relaxed, Ordering::Relaxed) {
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ GenMC might miss possible behaviors of this code

‎tests/genmc/pass/std/spawn_std_threads.stderr‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Running GenMC Verification...
22
warning: GenMC currently does not model spurious failures of `compare_exchange_weak`. Miri with GenMC might miss bugs related to spurious failures.
3-
--> RUSTLIB/std/src/thread/mod.rs:LL:CC
3+
--> RUSTLIB/std/src/thread/id.rs:LL:CC
44
|
55
LL | match COUNTER.compare_exchange_weak(last, id, Ordering::Relaxed, Ordering::Relaxed) {
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ GenMC might miss possible behaviors of this code
@@ -20,7 +20,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
2020
|
2121
= note: BACKTRACE:
2222
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
23-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
23+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
2424
note: inside closure
2525
--> tests/genmc/pass/std/spawn_std_threads.rs:LL:CC
2626
|
@@ -52,7 +52,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
5252
|
5353
= note: BACKTRACE:
5454
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
55-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
55+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
5656
note: inside closure
5757
--> tests/genmc/pass/std/spawn_std_threads.rs:LL:CC
5858
|

‎tests/genmc/pass/std/thread_locals.stderr‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
Running GenMC Verification...
22
warning: GenMC currently does not model spurious failures of `compare_exchange_weak`. Miri with GenMC might miss bugs related to spurious failures.
3-
--> RUSTLIB/std/src/thread/mod.rs:LL:CC
3+
--> RUSTLIB/std/src/thread/id.rs:LL:CC
44
|
55
LL | match COUNTER.compare_exchange_weak(last, id, Ordering::Relaxed, Ordering::Relaxed) {
66
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ GenMC might miss possible behaviors of this code
@@ -20,7 +20,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
2020
|
2121
= note: BACKTRACE:
2222
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
23-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
23+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
2424
note: inside `main`
2525
--> tests/genmc/pass/std/thread_locals.rs:LL:CC
2626
|
@@ -42,7 +42,7 @@ LL | | .compare_exchange_weak(state, state + READ_LOCKED, Acquir
4242
|
4343
= note: BACKTRACE:
4444
= note: inside closure at RUSTLIB/std/src/sys/env/PLATFORM.rs:LL:CC
45-
= note: inside closure at RUSTLIB/std/src/thread/mod.rs:LL:CC
45+
= note: inside closure at RUSTLIB/std/src/thread/lifecycle.rs:LL:CC
4646
note: inside `main`
4747
--> tests/genmc/pass/std/thread_locals.rs:LL:CC
4848
|

0 commit comments

Comments
 (0)