lincheck-2.12

Improvements

1. Thread.yield should be ignored in model checking (#70)
2. Add a parameter generator for Boolean
3. Handle the exceptions related to invalid access from unnamed modules in model checking and provide the fix in the exception message