Warum wird meine Vorbedingung bei meinem eigenschaftsbasierten Test ignoriert?

Question

Warum wird meine Vorbedingung bei meinem eigenschaftsbasierten Test ignoriert?

Voraussetzung für meinen Test ist die folgende:

fun rowCount -> rowCount >= 0 

So meine eigentliche Test ist:

[<Fact>] 
let ``number of cells in grid equals rowcount squared``() = 
    Check.QuickThrowOnFailure <| 
      fun rowCount -> rowCount >= 0 ==> 
          fun rowCount -> rowCount |> createGrid 
                |> Map.toList 
                |> List.length = rowCount * rowCount 

jedoch weiterhin meine Prüfung nicht bestanden:

Result Message: System.Exception : Falsifiable, after 3 tests (1 shrink) (StdGen (985619705,296133555)): Original: 1 -1 Shrunk: 0 -1

Domain:

let createGrid rowCount = 

    [for x in 0..rowCount-1 do 
     for y in 0..rowCount-1 do 
      yield { X=x; Y=y; State=Dead } 
    ]|> List.map (fun c -> (c.X, c.Y), { X=c.X; Y=c.Y; State=Dead }) 
    |> Map.ofList 

[UPDATE]

ich auch versucht habe:

let precondition rowCount = 
    rowCount >= 0 

let ``some property`` rowCount = 

    precondition rowCount ==> rowCount |> createGrid 
             |> Map.toList 
             |> List.length = rowCount * rowCount 
[<Fact>] 
let ``number of cells in grid equals rowcount squared``() = 
    Check.QuickThrowOnFailure <| ``some property`` 

Allerdings habe ich die folgende Fehlermeldung:

Type mismatch. Expecting a Property -> 'a but given a int -> Map<(int * int),Cell> The type 'Property' does not match the type 'int'

Answer 1

Wie @FyodorSoikin in seinem Kommentar zeigt, haben Sie zwei verschachtelte Funktionen, die jeweils eine rowCount einnehmen.

Der SekundenrowCount Wert Schatten des ersten, aber die ==> Voraussetzung Funktion ist nur auf dem erstenrowCount Wert. Daher ist der rowCount Wert, der tatsächlich zum Testen verwendet wird, immer noch unbegrenzt.

Machen Sie den Test einfacher, und es wird funktionieren:

open Xunit 
open FsCheck 

[<Fact>] 
let ``number of cells in grid equals rowcount squared``() = 
    Check.QuickThrowOnFailure <| fun rowCount -> 
     rowCount >= 0 ==> 
     (rowCount 
      |> createGrid 
      |> Map.toList 
      |> List.length = rowCount * rowCount)