-
Klaus Aehlig authored
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>
693db8a9