Browse Source

Updated RequestTextFile -- word-generator.

Now "ends with end-token".
master
Craig Oates 6 years ago
parent
commit
25050e9230
  1. 5
      TestCentre/PropertyTests.fs

5
TestCentre/PropertyTests.fs

@ -139,11 +139,12 @@
Check.Quick results
[<Property>]
let ``RequestTextFromFile returns a string which ends with a full stop when using word-generator`` () =
let ``RequestTextFromFile returns a string which ends withwith the correct end-token when using word-generator`` () =
let test () =
Pancake.RequestTextFromFileAsync (ValidGibberishLevelInput()) (ValidSentencesInput()) WordGenerator
|> Async.RunSynchronously
let results = Assert.EndsWith(".", test())
|> EndsAsIntended
let results = Assert.True(test())
Check.Quick results
[<Property>]

Loading…
Cancel
Save