From 51f2650e5ea445e64866590036d374825cb3fbbd Mon Sep 17 00:00:00 2001 From: Michele Tartara Date: Fri, 23 Nov 2012 16:36:37 +0000 Subject: [PATCH] Fix wrong edge case in a QuickChek Drbd property The bug was in the test itself, not in the tested code. Also, fixed a line longer than 80 characters in the same file. Signed-off-by: Michele Tartara Reviewed-by: Iustin Pop --- htest/Test/Ganeti/Block/Drbd/Parser.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/htest/Test/Ganeti/Block/Drbd/Parser.hs b/htest/Test/Ganeti/Block/Drbd/Parser.hs index 5f8521b..1f969e2 100644 --- a/htest/Test/Ganeti/Block/Drbd/Parser.hs +++ b/htest/Test/Ganeti/Block/Drbd/Parser.hs @@ -136,8 +136,8 @@ case_drbd83_sync = testFile "proc_drbd83_sync.txt" $ (LocalRemote Inconsistent UpToDate) 'C' "r----" (PerformanceIndicators 0 178176 178176 0 104 42 0 0 0 0 (Just 1) (Just 'b') (Just 346112)) - (Just $ SyncStatus 34.9 346112 524288 MegaByte (Time 0 0 5) 59392 Nothing - KiloByte Second) + (Just $ SyncStatus 34.9 346112 524288 MegaByte (Time 0 0 5) 59392 + Nothing KiloByte Second) Nothing Nothing, DeviceInfo 4 WFConnection (LocalRemote Primary Unknown) @@ -344,7 +344,7 @@ prop_commaInt_max3WithoutComma = Right obtained -> obtained < 1000 .&&. getFirst3Digits i ==? obtained - where getFirst3Digits x = if x > 1000 + where getFirst3Digits x = if x >= 1000 then getFirst3Digits $ x `div` 10 else x -- 1.7.10.4