Als Fan von quickCheck habe ich eine Menge
%Vor%während meines gesamten Programms.
Um es einfach zu machen, definiere ich
%Vor% Aber gibt es eine nette Möglichkeit, runchecks zu generieren?
TL; DR: Ich möchte alle QuickChecks einfach in einer Datei ausführen. Ich denke, eine Möglichkeit besteht darin, den runnable-Tests test_ oder etwas Ähnliches voranzutreiben, aber das könnte zu hacky sein.
Sie können dies mit dem Paket test-framework-th tun. Tun Sie einfach:
Dies wird die test-framework Art der Ausführung von Tests verwenden, d. h. Sie erhalten etwas mehr Informationen als das, was Sie bekommen würden, indem Sie einfach die Tests nacheinander ausführen, was oft eine gute Sache ist.
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 {-# LANGUAGE TemplateHaskell #-} am Anfang der Datei hinzu.
Eine zusätzliche Anmerkung: Diese Funktionalität ist auch in QuickCheck 2 vorhanden, siehe die Funktion quickCheckAll , was einen Import von Test.QuickCheck.All sowie TemplateHaskell erfordert. quickCheckAll testet alle Funktionen in Ihrem Modul, deren Name mit prop_ beginnt.
Tags und Links haskell quickcheck