update quickcheck