Add the model checking mode in Lincheck tests#2326

Merged

elizarov merged 6 commits intodevelopfrom

lincheck-with-model-checking

Nov 28, 2020

Commits on Nov 18, 2020

Add the model checking mode to Lincheck tests and use a newer and faster version of it
ndkoval
committed

Commits on Nov 25, 2020

Commits on Nov 26, 2020