J'utilise Triq pour écrire mon test basé sur la propriété. Comment puis-je voir quel type de données produit mon générateur? Disons que je le générateur suivant: -module (my).
-include_lib("triq/incl
J'utilise Triq (erlang quickcheck) et je rencontre des problèmes pour générer un ensemble de règles nice pour mon programme. Ce que je veux générer sont des choses qui ressemble à ceci: A -> B
où je
Dans Triq, PropEr, Quickcheck à Erlang quelle est la différence entre l'utilisation d'une propriété ?SUCHTHAT et la ? D'après ce qu'ils comprennent, ils sont les deux spécialisations des valeurs produ