sammeln automatisch alle Quickchecks

Question

ein Fan von Quick Check sein, ich habe eine Menge

prop_something_something = ... 

in meinem Programm.

Der Einfachheit halber auf einfache Weise alle von ihnen laufen, definiere ich

runchecks = do 
    quickCheck prop_something_something 
    quickCheck prop_something_different 

aber gibt es eine schöne Art und Weise runchecks zu generieren?

TL; DR: Ich möchte alle QuickChecks in einer Datei leicht ausführen. Ich denke, ein Weg besteht darin, den runnable-Tests test_ oder etwas Ähnliches voranzutreiben, aber das ist vielleicht zu hacky.

Answer 1

Sie können dies mit dem test-framework-th Paket tun. Just do:

import Test.Framework.TH 
import Test.Framework.Providers.QuickCheck2 
runchecks = $(defaultMainGenerator) 

Dadurch wird die test-framework Weg der laufenden Tests verwenden, dh Sie etwas mehr Informationen erhalten werden als das, was man einfach durch Ausführen der Tests nacheinander bekommen würde, die oft eine gute Sache .

Sie müssen offensichtlich TemplateHaskell aktivieren, damit dies funktioniert; Fügen Sie entweder Default-extensions: TemplateHaskell zu Ihrer Cabal-Datei hinzu oder fügen Sie am Anfang der Datei {-# LANGUAGE TemplateHaskell #-} hinzu.

Answer 2

Eine zusätzliche Anmerkung: Diese Funktionalität ist auch in QuickCheck 2 vorhanden, siehe die Funktion quickCheckAll, die einen Import von Test.QuickCheck.All sowie TemplateHaskell erfordert. quickCheckAll testet alle Funktionen in Ihrem Modul, deren Name mit prop_ beginnt.