Published by ndkoval about 2 years ago
In this version, we added a lincheck guide!
Published by ndkoval over 3 years ago
Bug fixes:
Thread.stop()
when no hang has been detected (#102)Published by ndkoval over 3 years ago
ManagedOptions.verboseTrace(..)
(#99)Published by ndkoval over 3 years ago
OutOfMemoryError
when minimizing scenario has been fixed (#93)Published by ndkoval over 3 years ago
Thread.yield
should be ignored in model checking (#70)Boolean
Published by ndkoval almost 4 years ago
CheckClassAdapter
for faster transformation (#63)IllegalAccessError
when accessing package-private methods in ThreadLocalRandom
after the code transformation for model checking (#64)Published by ndkoval almost 4 years ago
Published by ndkoval almost 4 years ago
This is a very major release that introduces a model checking mode (#40)! In this mode, Lincheck studies all possible schedules with a bounded number of context switches by fully controlling the execution and putting context switches in different locations in threads. In order to make the test time predictable, Lincheck bounds the number of schedules to be studied and increases the number of context switches gradually. The main advantages of the model checking mode are better coverage and providing a trace that reproduces the found error.
Published by ndkoval almost 4 years ago
Serializable
classes as operation parameters and results (#46)Published by ndkoval over 4 years ago
Published by ndkoval over 4 years ago
Published by ndkoval almost 5 years ago
Published by ndkoval about 5 years ago
Published by ndkoval about 5 years ago
sequentialSpecification
parameter in both options and annotations.suspend
functions supportPublished by ndkoval about 5 years ago
actorsAfter
parameter is non-zero (#15)Published by ndkoval about 5 years ago
A suspend
functions support has been introduced, so that it becomes possible to test data structures like channels or mutexes from the Kotlin Coroutines library; see the corresponding README section.
equals
/hashCode
methods for verifiers are specified correctly has been introduced (#6)