readme: tweak wording around soundness

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

Closed RalfJung closed 4 days ago

RalfJung commented 4 days ago

Miri can tell you whether your code is sound when it finds UB -- it's not sound in that case. It can give negative answers, just not positive ones.

oli-obk commented 4 days ago

@bors r+

bors commented 4 days ago

:pushpin: Commit 4573efbd6b112532a9a66f259a2d55d79be5f648 has been approved by oli-obk

It is now in the queue for this repository.

bors commented 4 days ago

:hourglass: Testing commit 4573efbd6b112532a9a66f259a2d55d79be5f648 with merge d0910ed637740ec69e70d190ae3ad360d74cedce...

bors commented 4 days ago

:sunny: Test successful - checks-actions Approved by: oli-obk Pushing d0910ed637740ec69e70d190ae3ad360d74cedce to master...