From d08ff5fbf2b40746cacc8e799f6c7b5b0b932669 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Tue, 4 Dec 2018 16:54:56 +0000
Subject: [Fix #1] Fix the negative number generation

---
 src/Test/VeriFuzz/CodeGen.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/Test/VeriFuzz/CodeGen.hs')

diff --git a/src/Test/VeriFuzz/CodeGen.hs b/src/Test/VeriFuzz/CodeGen.hs
index eb99d6b..85f1d1c 100644
--- a/src/Test/VeriFuzz/CodeGen.hs
+++ b/src/Test/VeriFuzz/CodeGen.hs
@@ -58,9 +58,12 @@ genExpr _ = "TODO"
 
 genPrimary :: Primary -> Text
 genPrimary (PrimNum num) =
-  sh (num ^. numSize) <> "'d" <> sh (num ^. numVal)
+  neg <> sh (num ^. numSize) <> "'d" <> (sh . abs) n
   where
     sh = T.pack . show
+    abs x = if x <= 0 then -x else x
+    n = num ^. numVal
+    neg = if n <= 0 then "-" else ""
 genPrimary (PrimId ident) = ident ^. getIdentifier
 
 genBinaryOperator :: BinaryOperator -> Text
-- 
cgit