Daniel Urban

> this seems to be a very general problem (not specific to asyncCheckAttempt). Yeah. Although, I suspect that if we can solve it for `asyncCheckAttempt`, we can probably solve it...

> whoever called resume definitely knows the value is lost, because their finalizer is getting called That is a very good point. (It would be "nicer", if the return value...

So, about never cancelling (observing cancellation?) right inside poll, i.e., ```scala poll(/* we never cancel HERE */ x) ``` It is possible. In my draft PR (https://github.com/typelevel/cats-effect/pull/3917), I did it...

I have the feeling that a `Random[F]` is somewhere between a "proper" typeclass instance (e.g., a `Monad[F]`) and a "not typeclass instance at all" (e.g., a `Ref[F, A]`). There is...

An alternative could be [JCStress](https://github.com/openjdk/jcstress) (#3499 has some examples). Based on reading its documentation, it seems lincheck has 2 modes of testing: stress testing and "model" testing. Both seem very...

I'm using `sbt-jcstress`. I'm sure it could be improved, but honestly, it seems to work. Fortunately it is possible to update the JCStress version without updating the sbt plugin (e.g.,...

@jaimecasero Due to the difficulties discussed in the other issue (usnistgov/jsip#5), this would probably require more time than I currently have.

@froth Not at all. We're just slow ;-) In fact, this seems like a simple case, so I'll merge this PR this weekend, unless another maintainer objects (or merges it...

I think it hangs (or rather, spins) due to scala-native/scala-native/issues/3956.

Some further information: on a third try, I've got 2 exceptions from a single run: ``` ==> X dev.tauri.choam.core.RxnModelTest.Model checking Rxn 1408.437s java.lang.IllegalStateException: Non-determinism found. Probably caused by non-deterministic code...