From 51f2650e5ea445e64866590036d374825cb3fbbd Mon Sep 17 00:00:00 2001
From: Michele Tartara <mtartara@google.com>
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 <mtartara@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
---
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 5f8521bb3..1f969e297 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
--
GitLab