Advertisement
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
- setSmallCompany
- setDepartmentName
- company <- forallS @Company
- let Just d = head $ departments company
- (T.length (departmentName d) <= 5) === True
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement