rust-lang / miri

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

don't panic if time computaton overflows #3663

Closed RalfJung closed 2 weeks ago

RalfJung commented 2 weeks ago

Let the thread blocking system handle timeout computation, and on overflows we just set the timeout to 1h.

RalfJung commented 2 weeks ago

@bors r+

bors commented 2 weeks ago

:pushpin: Commit b86ee6a5c6f11fa4f0e78a8bc5763c7177a0851f has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 weeks ago

:hourglass: Testing commit b86ee6a5c6f11fa4f0e78a8bc5763c7177a0851f with merge 44561983fd15e735b8389a487f9aa08242e887eb...

bors commented 2 weeks ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 44561983fd15e735b8389a487f9aa08242e887eb to master...