search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.55k stars 343 forks source link

test #3539

Closed RalfJung closed 6 months ago

RalfJung commented 6 months ago

just a test

RalfJung commented 6 months ago

r? @oli-obk

RalfJung commented 6 months ago

Okay so r? still doesn't seem to work... ah well.

RalfJung commented 6 months ago

But also we don't get an error any more that it doesn't work. Now it just silently does not work. That is strange.

apiraino commented 6 months ago

r? @RalfJung

rustbot commented 6 months ago

Assignment is not allowed on a closed PR.

RalfJung commented 6 months ago

(reopened for testing)