quickcheck properties typically only need to import this module. Your test driver should additionally import TestManager and, if needed, BlackBoxTest....