Test module uses Distribution.TestSuite to interface with Cabal for testing the package. When the package is built and tested as usual using the following command:
cabal configure --enable-tests && cabal build && cabal test
The test part gets stuck showing "Running" if I test my properties against a number of generated instances (of small size) larger than some threshold.
However, if I run the main function in the Test module in ghci (loading by: ghci test/Test.hs -isrc), it works fine!
The function test also works fine in ghci when called even with 10000 instances.