set quickcheck output