Browse Source

Updated RequestText -- desktop-clock.

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

5
TestCentre/PropertyTests.fs

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

Loading…
Cancel
Save