diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:34:11 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-15 13:34:11 +0000 |
| commit | fbb7be7702cdf6f74a04b68525069042a899c9b5 (patch) | |
| tree | a1deba3135ec6f7a74305c14c920eef9de78fb4c /src/VeriFuzz.hs | |
| parent | 0d1d5c2c9ebb9f658c401610551242b835144eb1 (diff) | |
| download | verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.tar.gz verismith-fbb7be7702cdf6f74a04b68525069042a899c9b5.zip | |
Fix all warnings
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 5f5d68a..16d96ce 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -11,6 +11,7 @@ Portability : POSIX module VeriFuzz ( runEquivalence , runSimulation + , draw , module VeriFuzz.AST , module VeriFuzz.ASTGen , module VeriFuzz.Circuit @@ -26,7 +27,6 @@ module VeriFuzz , module VeriFuzz.Yosys ) where -import Control.Lens import qualified Crypto.Random.DRBG as C import Data.ByteString (ByteString) import Data.ByteString.Builder (byteStringHex, toLazyByteString) @@ -77,12 +77,12 @@ showBS = decodeUtf8 . L.toStrict . toLazyByteString . byteStringHex runSimulation :: IO () runSimulation = do - gr <- QC.generate $ rDups <$> QC.resize 100 (randomDAG :: QC.Gen (G.Gr Gate ())) + -- gr <- QC.generate $ rDups <$> QC.resize 100 (randomDAG :: QC.Gen (G.Gr Gate ())) -- let dot = G.showDot . G.fglToDotString $ G.nemap show (const "") gr -- writeFile "file.dot" dot -- shelly $ run_ "dot" ["-Tpng", "-o", "file.png", "file.dot"] - let circ = - head $ (nestUpTo 30 . generateAST $ Circuit gr) ^.. getVerilogSrc . traverse . getDescription + -- let circ = + -- head $ (nestUpTo 30 . generateAST $ Circuit gr) ^.. getVerilogSrc . traverse . getDescription rand <- genRandom 20 rand2 <- QC.generate (randomMod 10 100) val <- shelly $ runSim defaultIcarus (rand2) rand |