GPMC: Beta
Due by April 10, 2025
27% complete
- General-purpose model checking tests for kotlinx.coroutines are functional
- Trace output is improved and does not show all the details of coroutines (but there could still be some rough edges)
- The trace in navigable in IntelliJ IDEA