Wie kann ich Bedingungen für Testeingaben festlegen, wenn eigenschaftsbasiertes Testen durchgeführt wird?

Question

Wie kann ich Bedingungen für Testeingaben festlegen, wenn eigenschaftsbasiertes Testen durchgeführt wird?

Zum Beispiel der folgende Code erzeugt bools wenn ich Ints brauchen:

Gen.map (fun v -> v > 0) 

Hier ist die Funktion:

[<Property(QuietOnSuccess = true)>] 
let ``number of cells in grid equals rowcount squared``() = 
    let values = Arb.generate<int> |> Gen.map (fun v -> v > 0) 
            |> Arb.fromGen 

ich so etwas wie dieses brauchen, so dass ich qualifizierenden Ints bekommen kann:

Gen.filter (fun v -> v > 0) 

Allerdings sehe ich einfach keine Option dafür.

Irgendwelche Vorschläge?

Answer 1

Versuchen Gen.suchThat (fun v -> v > 0)