From 5f76e8bd89b231ad099448d37f3f04be41fc78da Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Sat, 16 Feb 2019 22:22:51 +0000 Subject: Fix CodeGen bug and add more property tests --- src/VeriFuzz/CodeGen.hs | 2 +- src/VeriFuzz/Parser.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/VeriFuzz/CodeGen.hs b/src/VeriFuzz/CodeGen.hs index 3e36cf5..99b52f6 100644 --- a/src/VeriFuzz/CodeGen.hs +++ b/src/VeriFuzz/CodeGen.hs @@ -118,7 +118,7 @@ genFunc UnSignedFunc = "$unsigned" genExpr :: Expr -> Text genExpr (BinOp eRhs bin eLhs) = "(" <> genExpr eRhs <> genBinaryOperator bin <> genExpr eLhs <> ")" genExpr (Number s n ) = "(" <> minus <> showT s <> "'h" <> T.pack (showHex (abs n) "") <> ")" - where minus | signum n > 0 = "" | otherwise = "-" + where minus | signum n >= 0 = "" | otherwise = "-" genExpr (Id i ) = i ^. getIdentifier genExpr (Concat c ) = "{" <> comma (genExpr <$> c) <> "}" genExpr (UnOp u e ) = "(" <> genUnaryOperator u <> genExpr e <> ")" diff --git a/src/VeriFuzz/Parser.hs b/src/VeriFuzz/Parser.hs index 48dafe2..b4831d1 100644 --- a/src/VeriFuzz/Parser.hs +++ b/src/VeriFuzz/Parser.hs @@ -205,7 +205,7 @@ parseModDecl = do _ <- symbol ";" modItem <- lexeme $ option [] . try $ many1 parseModItem _ <- reserved "endmodule" - return $ ModDecl name [defaultPort "y"] modL modItem + return $ ModDecl name [] modL modItem parseDescription :: Parser Description parseDescription = Description <$> lexeme parseModDecl -- cgit