search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
572 stars 33 forks source link

Random.nextInt(..) in Kotlin is not instrumented in the model checking mode #134

Closed ndkoval closed 5 months ago

FenstonSingel commented 1 year ago

@ndkoval This seems to be the issue that have been rediscovered for ThreadLocalRandom.nextInt(origin, bound) during May'23 Cyprus concurrent programming intensive course.

ndkoval commented 1 year ago

These two are different issues, but quite similar. Thanks for pointing that out!

ndkoval commented 5 months ago

Will be fixed under #285