diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-03 19:53:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-03 19:53:56 +0100 |
commit | 31325e890e8a7807ec5a3d996c3789baad0e8dc4 (patch) | |
tree | c3df20e33ff945c1ec10fc132ff7a12127176703 | |
parent | 6776d38b11186e97101995eb2c071096cc1d648b (diff) | |
download | verismith-31325e890e8a7807ec5a3d996c3789baad0e8dc4.tar.gz verismith-31325e890e8a7807ec5a3d996c3789baad0e8dc4.zip |
Generate Verilog instead of ModDecl
-rw-r--r-- | app/Main.hs | 2 | ||||
-rw-r--r-- | src/VeriFuzz.hs | 4 | ||||
-rw-r--r-- | stack.yaml | 1 |
3 files changed, 3 insertions, 4 deletions
diff --git a/app/Main.hs b/app/Main.hs index 4d2f0c4..19a1c7f 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -192,7 +192,7 @@ handleOpts (Fuzz _) = do num <- getNumCapabilities vars <- sequence - $ (\x -> myForkIO $ V.runEquivalence (V.randomMod 10 100) + $ (\x -> myForkIO $ V.runEquivalence (V.procedural V.defaultConfig) ("test_" <> T.pack (show x)) 0 ) diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index e008d62..b6b134b 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -113,10 +113,10 @@ checkEquivalence src dir = shellyFailDir $ do -- | Run a fuzz run and check if all of the simulators passed by checking if the -- generated Verilog files are equivalent. -runEquivalence :: Gen ModDecl -> Text -> Int -> IO () +runEquivalence :: Gen Verilog -> Text -> Int -> IO () runEquivalence gm t i = do m <- Hog.sample gm - let srcInfo = makeSrcInfo m + let srcInfo = SourceInfo "top" m rand <- generateByteString 20 shellyFailDir $ do mkdir_p (fromText "output" </> fromText n) @@ -3,7 +3,6 @@ packages: - . extra-deps: - DRBG-0.5.5@sha256:3b8040bed356e2b63927a27fb6d5adbd19d70c9e1d1bb66111bbeb33e56900eb - - QuickCheck-2.9.2@sha256:93cebf9f9c55e8a941bd3166272680d67b80d9b5d95bd836765e3d4a4ef278d0 - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e - tasty-hedgehog-0.2.0.0@sha256:83a8b777fa472040979e44dba43c32441f55d5ddb9641a4d53deee4b0e09fa34 resolver: lts-13.14 |