Browse Source

Updated RequestText -- console-waterwork. Now "ends with end-token".

master
Craig Oates 6 years ago
parent
commit
580fa382ee
  1. 5
      TestCentre/PropertyTests.fs

5
TestCentre/PropertyTests.fs

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

Loading…
Cancel
Save