fraport/fradrive-old
Archived
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(test): re-enable justifiedNullResult-test

Browse Source
This commit is contained in:
Wolfgang Witt 2021-02-18 18:01:06 +01:00 committed by Wolfgang Witt
parent 5480e2d7b7
commit 795598ea06
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/Handler/Utils/ExamSpec.hs
View File

@ -150,12 +150,10 @@ spec = do
myAnnotate "shown ranges don't match userMap" myAnnotate "shown ranges don't match userMap"
$ shouldSatisfy (rule, userProperties, occurrenceMapping, userMap) $ uncurry4 showsCorrectRanges $ shouldSatisfy (rule, userProperties, occurrenceMapping, userMap) $ uncurry4 showsCorrectRanges
-- is a nullResult justified? -- is a nullResult justified?
Nothing -> pure () Nothing ->
{-
-- disabled for now, probably not correct with the current implementation -- disabled for now, probably not correct with the current implementation
myAnnotate "unjustified nullResult" myAnnotate "unjustified nullResult"
$ shouldSatisfy (rule, userProperties, occurrences) $ uncurry3 isNullResultJustified $ shouldSatisfy (rule, userProperties, occurrences) $ uncurry3 isNullResultJustified
-}
-- | generate users without any pre-assigned rooms -- | generate users without any pre-assigned rooms
genUsersWithOccurrences :: Preselection -> Gen (Map UserId (User, Maybe ExamOccurrenceId), Map ExamOccurrenceId Natural) genUsersWithOccurrences :: Preselection -> Gen (Map UserId (User, Maybe ExamOccurrenceId), Map ExamOccurrenceId Natural)
genUsersWithOccurrences preselection = do genUsersWithOccurrences preselection = do
@ -263,7 +261,6 @@ spec = do
ExamRoomMatriculation -> isSuffixOf ExamRoomMatriculation -> isSuffixOf
_rule -> isPrefixOf _rule -> isPrefixOf
_otherwise -> (rule /= ExamRoomSurname) && (rule /= ExamRoomMatriculation) _otherwise -> (rule /= ExamRoomSurname) && (rule /= ExamRoomMatriculation)
{-
-- | Is mapping impossible? -- | Is mapping impossible?
isNullResultJustified :: ExamOccurrenceRule isNullResultJustified :: ExamOccurrenceRule
-> Map UserId (UserProperties, Maybe ExamOccurrenceId) -> Map UserId (UserProperties, Maybe ExamOccurrenceId)
@ -307,4 +304,3 @@ spec = do
predToPositive 0 = Nothing predToPositive 0 = Nothing
predToPositive 1 = Nothing predToPositive 1 = Nothing
predToPositive n = Just $ pred n predToPositive n = Just $ pred n
-}