在fscheck使用屬性與過濾項

Question

我剛開始用FsCheck，想挖得更深一些，我有以下測試案例：

[Property] 
public void some_test(HttpStatusCode httpStatusCode) 

現在，我只希望httpStatusCode這是失敗了，怎麼辦我使用FsCheck實現了這一點？我有以下代碼：

Prop.ForAll<HttpStatusCode>(code => new Func<bool>(() => !new HttpResponseMessage(code).IsSuccessStatusCode).When(true)).QuickCheck(); 

，但不知道如何連接到這一點的Property屬性爲我的測試案例。網上的例子對於如此微不足道的事情來說相當複雜。任何幫助或指導將不勝感激。

會很高興有類似this但自定義對象和自定義邏輯。

乾杯。

Answer 1

您可以使用When方法進行過濾。

喜歡的東西：

Prop.ForAll<HttpStatusCode>(code => 
    !new HttpResponseMessage(code).IsSuccessStatusCode) 
    .When(code is failure) 
) 
.QuickCheck();