Alexander Fedorov

Non-linearizable behavior of ConcurrentSuffixTree

2

There is a bug that an element, that is added in a concurrent thread, can be found by `getValueForExactKey` and not found by the following `getValuesForKeysEndingWith`. The bug can be...

Support operations with multiple suspension points

6

See #121 for an example of Lincheck failing in the case of multiple suspension points per operation