Sign in
rust
/
miri
/
HEAD
/
.
/
tests
/
genmc
/
pass
/
data-structures
/
treiber_stack_dynamic.spinloop_assume_R1W2.stderr
blob: 9082acd027d4ce46ecbd4b2a93ea2731f4270f73 [
file
] [
log
] [
blame
]
Running
GenMC
Verification
...
Verification
complete
with
16
executions
.
No
errors found
.
Number
of complete executions explored
:
8
Number
of blocked executions seen
:
8
Verification
took
[
TIME
]
s
.
