recopilar automáticamente todos quickChecks

Question

ser un fan de QUICKCHECK, que tienen una gran cantidad de

prop_something_something = ... 

lo largo de mi programa.

Para mayor comodidad, para ejecutar fácilmente todos ellos, defino

runchecks = do 
    quickCheck prop_something_something 
    quickCheck prop_something_different 

pero ¿hay una buena manera de generar runchecks?

TL; DR: Deseo ejecutar fácilmente todos los QuickChecks en un archivo. Supongo que una forma es prefijar las pruebas ejecutables con test_ o algo similar, pero eso podría ser demasiado hacky.

Answer 1

Puede hacerlo con el paquete test-framework-th. Sólo hacer:

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

para ello se utiliza el modo de ejecución de pruebas test-framework, es decir, se obtendrá un poco más información que la que se obtendría con sólo ejecutar las pruebas, una tras otra, que muchas veces es una buena cosa .

Es obvio que se necesita TemplateHaskell para que esto funcione; agregue Default-extensions: TemplateHaskell a su archivo Cabal, o agregue {-# LANGUAGE TemplateHaskell #-} a la parte superior del archivo.

Answer 2

Nota adicional: esta funcionalidad también existe en QuickCheck 2, consulte la función quickCheckAll, que requiere una importación de Test.QuickCheck.All y TemplateHaskell. quickCheckAll probará todas las funciones en su módulo cuyo nombre comienza con prop_.