diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-10 23:42:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-10 23:42:58 +0100 |
commit | 186bb5f37770c150bd8e601e9761211af6a9c277 (patch) | |
tree | 33ccc13403d1c9a168909b1e9987f29028834396 /src/VeriFuzz.hs | |
parent | aefb46596f3f2302540a83b2be8b042232822a2f (diff) | |
download | verismith-186bb5f37770c150bd8e601e9761211af6a9c277.tar.gz verismith-186bb5f37770c150bd8e601e9761211af6a9c277.zip |
Fix the generation of modules and add initialisation
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index e46751a..9486537 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -55,8 +55,7 @@ generateByteString n = do return $ randomByteString gen n [] makeSrcInfo :: ModDecl -> SourceInfo -makeSrcInfo m = - SourceInfo (m ^. modId . getIdentifier) (Verilog [m]) +makeSrcInfo m = SourceInfo (m ^. modId . getIdentifier) (Verilog [m]) -- | Draw a randomly generated DAG to a dot file and compile it to a png so it -- can be seen. @@ -107,18 +106,20 @@ checkEquivalence src dir = shellyFailDir $ do setenv "VERIFUZZ_ROOT" curr cd (fromText dir) catch_sh - (runEquiv defaultYosys defaultYosys (Just defaultVivado) src >> return True + ( runEquiv defaultYosys defaultYosys (Just defaultVivado) src + >> return True ) ((\_ -> return False) :: RunFailed -> Sh Bool) -- | Run a fuzz run and check if all of the simulators passed by checking if the -- generated Verilog files are equivalent. -runEquivalence :: Gen Verilog -- ^ Generator for the Verilog file. - -> Text -- ^ Name of the folder on each thread. - -> Text -- ^ Name of the general folder being used. - -> Bool -- ^ Keep flag. - -> Int -- ^ Used to track the recursion. - -> IO () +runEquivalence + :: Gen Verilog -- ^ Generator for the Verilog file. + -> Text -- ^ Name of the folder on each thread. + -> Text -- ^ Name of the general folder being used. + -> Bool -- ^ Keep flag. + -> Int -- ^ Used to track the recursion. + -> IO () runEquivalence gm t d k i = do m <- Hog.sample gm let srcInfo = SourceInfo "top" m @@ -129,7 +130,7 @@ runEquivalence gm t d k i = do setenv "VERIFUZZ_ROOT" curr cd (fromText "output" </> fromText n) catch_sh - ( runEquiv defaultYosys defaultYosys (Just defaultVivado) srcInfo + (runEquiv defaultYosys defaultYosys (Just defaultVivado) srcInfo >> echoP "Test OK" ) $ onFailure n |