quickcheck

39calore

1risposta

Novità di QuickCheck 2?

Quali sono le principali differenze tra QuickCheck 1 e QuickCheck 2? Dall'osservazione dei documenti di Haddock posso vedere che è diviso su più moduli, coarbitrary è stato sostituito dal nuovo tipo F

haskell quickcheck 2009-12-19

---

12calore

1risposta

Test delle proprietà di QuickCheck contro più tipi?

Ho una classe di tipo Atomic, che definisce le funzioni per la conversione di determinati tipi in/da un valore wrapper (Atom). Mi piacerebbe definire una proprietà QuickCheck che afferma: "per tutte l

testing haskell quickcheck 2009-09-19

---

7calore

1risposta

Haskell: Come testare un FSM (reattivo) con quickcheck?

Ho scritto un modulo per macchine a stati finiti per un piccolo gioco di calcio al quale lavoro attualmente. Fornisce un'interfaccia per l'impostazione di un FSM (fondamentalmente i suoi stati e trans

testing haskell quickcheck frp 2011-12-17

---

5calore

3risposta

Come utilizzare "oneof" in quickCheck (Haskell)

Sto provando a scrivere un supporto che cambia un Sudoku e poi controlla se è ancora valido. Tuttavia, non sono sicuro di come utilizzare correttamente la funzione "oneof". Puoi darmi qualche suggerim

haskell functional-programming ghci quickcheck 2009-12-01

---

10calore

5risposta

verboseCheck in QuickCheck 2?

La funzione verboseCheck di QuickCheck 1 sembra essere assente in QuickCheck 2 (o almeno, non riesco a trovarlo). C'è un altro modo per mostrare quali valori vengono usati durante i test?

haskell quickcheck 2010-03-25

---

10calore

1risposta

Haskell QuickCheck2 utilizza ByteString?

I libri RWH dice che per ottenere il supporto ByteString, ho bisogno di aggiungere: instance Arbitrary B.ByteString where arbitrary = fmap B.pack arbitrary coarbitrary = coarbitrary . B.unpa

haskell quickcheck 2011-11-13

---

14calore

2risposta

Trova il valore che non è riuscito per quickcheck

Quando un valore non supera un test QuickCheck, mi piacerebbe usarlo per il debug. C'è un modo che io possa fare qualcosa di simile: let failValue = quickCheck' myTest in someStuff failValue Se il

haskell quickcheck 2011-11-19

---

31calore

2risposta

Come si ottiene una riduzione (piccola) buona di QuickCheck?

Sto cercando di eseguire QuickCheck su alcune liste nidificate, qualcosa che assomiglia a questo: type Constraint = Text data Value = Value [Constraint] data Literal = Literal Value [Value] type Fo

haskell quickcheck 2012-01-09

---

48calore

2risposta

Test delle azioni IO con Monadic QuickCheck

Qualcuno può darmi un breve esempio di test delle azioni IO usando Monadic QuickCheck?

haskell io quickcheck 2010-02-14

---