Hello! I’m studying the Lincheck framework and wou...

# coroutines

[Dmytro Serdiuk]

Hello!
I’m studying the Lincheck framework and would like to understand, what is interleaving and what is the difference with context switch?
Why checking model is limited in interleaving and unlimited in context switch?

Also, why stress testing could be used in finding bugs with a lot of context switches, but model checking couldn’t?

Thanks!!