Get QuickCheck 2.7 compatibility
authorKlaus Aehlig <aehlig@google.com>
Mon, 1 Jun 2015 11:00:29 +0000 (13:00 +0200)
committerPetr Pudlak <pudlak@google.com>
Mon, 22 Jun 2015 16:14:43 +0000 (18:14 +0200)
commit4ff1deda1446c35008e2a46b891b9ee0e35fde7d
tree2b9f33fc52c47b531e6e410718444cb813a7bc15
parentdb399602a2176f6456c9d48012e98bfe8e2c78b0
Get QuickCheck 2.7 compatibility

Replace deprecated `printTestCase` by its replacement `counterexample`.
Note that commit 077c415a added a CPP-guarded fallback for QuickCheck < 2.7.

Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>

Cherry-picked-from: 693db8a9e7a3e3b855350b9f558251bce1718d07
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
test/hs/Test/Ganeti/Locking/Waiting.hs