…ccount

# Conflicts:
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/Reporter.kt

* Model checking implementation

* Fixes

* Implement mc system crash

* Disable constructor recovery

* Fix system crash

* Fix crash transformer

* Fix crash mc tree

* Fix yield reset

* Ignore log queue test

* Enable crash minimization only for stress

* Extract rethrow crash transformer

* Fix durable recover hang

* MC field is handled by shared variable transformer

* Fix non determinism

* Fix thread exit system crash

* Fixes

* Fix

* Set random

* Fix non determinism

* fix random

* Enable queue test

* Implement system crash for MC

* Revert odd change

* Crash thread right after wake up

* Revert "Crash thread right after wake up"

This reverts commit f6d82a4

* Do not switch on system crash

* Turn off some crash positions

* Fix MCAS test

* Fix test

* Disable log queue test

* Customize tests

* Add small queue test

* Add more switch points

* Fix switch/crash points order

* Fix test

* Fix MCAS test

* Add trace point for switch

* Fix CAS test

* Smaller number of crash points

* Fix tas test

* Fix rwo test

* Rewrite barrier

* Small refactoring

* Revert: use thread local random

* Refactor durable recover synchronized wrap with mc

* Fix hang on error bug

* Fix mcas test

* Rename crash trace point

* Add NO_CRASH_INITIATOR constant

* Add CrashError equals/hashCode

* Implement probability model for uniform distribution

* Fix hang on error bug

* Check detectable execution model

* Bound number of crashes

* Ignore test

* Fix ignore test

* Refactor NRL tests

* Fix merge

* Fix tests

* Fix tests 2

* Rewrite queue tests

* Rewrite durable set tests

* Fix tests 3

* Rewrite MCAS tests

* Fix mcas no recover test

* Fix queue test

* Fix minimize crashes

* Fix set test

* Fix: system/single-thread crash choice should be iterated by MC

# Conflicts:
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/CTestConfiguration.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/Options.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/Reporter.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedCTestConfiguration.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingCTestConfiguration.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/modelchecking/ModelCheckingOptions.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressCTestConfiguration.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/stress/StressOptions.kt
#	src/jvm/test/org/jetbrains/kotlinx/lincheck/test/verifier/CustomScenarioDSL.kt

# Conflicts:
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/Reporter.kt
#	src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/TracePoint.kt