From 795598ea06309b3a2dbd4322e1863b60070389f5 Mon Sep 17 00:00:00 2001
From: Wolfgang Witt <Wolfgang.Witt@campus.lmu.de>
Date: Thu, 18 Feb 2021 18:01:06 +0100
Subject: [PATCH] chore(test): re-enable justifiedNullResult-test

---
 test/Handler/Utils/ExamSpec.hs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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