|
|
|
@ -12,7 +12,13 @@
|
|
|
|
|
Check.Quick ProduceResult |
|
|
|
|
|
|
|
|
|
[<Property>] |
|
|
|
|
let ``Request Text consistently produces a valid output`` () = |
|
|
|
|
let ProduceResult = |
|
|
|
|
Assert.NotNull (Pancake.RequestText) |
|
|
|
|
let ``Request Text returns not null with fixed input`` () = |
|
|
|
|
let ProduceResult () = |
|
|
|
|
Assert.NotNull (Pancake.RequestText 5 5) |
|
|
|
|
Check.Quick ProduceResult |
|
|
|
|
|
|
|
|
|
[<Property>] |
|
|
|
|
let ``Request Text returns a valid output using random gibberish level`` () = |
|
|
|
|
let ProduceResult () = |
|
|
|
|
Assert.NotNull (Pancake.RequestText (System.Random().Next(2, 20)) 10) |
|
|
|
|
Check.Quick ProduceResult |