Stavros Aronis

This could be sufficiently solved by adding a suitable call to ``` concuerror_inspect:inspect(receive, ..., ignored) ``` above here https://github.com/parapluu/Concuerror/blob/master/src/concuerror_callback.erl#L899.

Ah, very sorry for the bad lead. Another acceptable way to do this is to add an extra case for timer-related primitives, that checks the after_timeout setting and just returns...

Eek. Didn't think about that case. Indeed the assumption has been that one can always reverse cancel_timer bifs and fake timer processes dying. With a quick look I think the...