a guest May 22nd, 2019 93 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- test_with_better_department_name =
- prop "a department must have a short capitalized name" $ runS generators $ do
- company <- forallS @Company
- let Just d = head $ departments company
- (T.length (departmentName d) <= 5) === True
RAW Paste Data