D

Dscheck

Test case comparing DScheck (exhaustive interleaving exploration) and QCheck (randomized property testing) on a concurrent skiplist, to see which catches concurrency bugs like lost inserts or broken ordering more effectively.