test-framework/quickcheck/cabal: Passing options to testfunction with 'cabal test'

Question

I'm using cabal to build and test my projects with the commands:

cabal configure --enable-tests
cabal build
cabal test

As a framework I use testing-framework (https://batterseapower.github.io/test-framework/). Everything works, however the number of QuickCheck-tests defaults to 50 which in my use-case is very little because I have to filter the generated data to fit certain properties.

Is there any possibility to pass something like

--maximum-generated-tests=5000

to the test-executable via cabal? I tried things like

 cabal test --test-options='maximum-generated-tests=5000'

but no luck so far. Is there any possibility to achieve this?

Many thanks in advance!

jules

Didn't anyone tell you, Haskell doesn't need unit testing :) (I am only half joking :) ) — jamshidh, Dec 12 '13 at 21:45

Roman Cheplyaka · Accepted Answer · 2013-12-12T21:54:42.103

1

You missed the dashes:

cabal test --test-options=--maximum-generated-tests=5000

Also, if too few generated tests satisfy your property, you may have better luck with SmallCheck. It's not random and thus will find all inputs satisfying the condition in the given search space. (Disclosure: I'm the maintainer of SmallCheck.)

edited Dec 12 '13 at 21:54

answered Dec 12 '13 at 21:45

Roman Cheplyaka

37,738
7
72
121

Thank you very much! I will try out the tasty/SmallCheck combination – jules Dec 12 '13 at 22:24

test-framework/quickcheck/cabal: Passing options to testfunction with 'cabal test'

1 Answers1