Get QuickCheck 2.7 compatibility
authorKlaus Aehlig <aehlig@google.com>
Mon, 1 Jun 2015 11:00:29 +0000 (13:00 +0200)
committerKlaus Aehlig <aehlig@google.com>
Mon, 1 Jun 2015 11:25:21 +0000 (13:25 +0200)
commit693db8a9e7a3e3b855350b9f558251bce1718d07
treeaf9527daddb8cc90d59d9d2af5ea40e89e29a95c
parent739811852fcd7e97dbe104fefef4989eb39a5058
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>
test/hs/Test/Ganeti/Locking/Waiting.hs