diff options
-rw-r--r-- | app/Main.hs | 7 | ||||
-rw-r--r-- | stack.yaml | 1 | ||||
-rw-r--r-- | verifuzz.cabal | 21 |
3 files changed, 10 insertions, 19 deletions
diff --git a/app/Main.hs b/app/Main.hs index c214929..4d2f0c4 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -5,7 +5,6 @@ import Data.Text (Text) import qualified Data.Text as T import Options.Applicative import qualified Shelly as S -import qualified Test.QuickCheck as QC import qualified VeriFuzz as V data Tool = Yosys @@ -199,10 +198,8 @@ handleOpts (Fuzz _) = do ) <$> [1 .. num] sequence_ $ takeMVar <$> vars -handleOpts (Generate f) = do - g <- QC.generate $ V.randomMod 50 1000 - S.shelly . S.writefile f $ V.genSource g -handleOpts (Parse f) = do +handleOpts (Generate _) = error "Not implemented" +handleOpts (Parse f) = do verilogSrc <- readFile file case V.parseVerilog file verilogSrc of Left l -> print l @@ -6,4 +6,5 @@ extra-deps: - QuickCheck-2.9.2@sha256:93cebf9f9c55e8a941bd3166272680d67b80d9b5d95bd836765e3d4a4ef278d0 - fgl-arbitrary-0.2.0.3@sha256:d80598d16963ba151bf5dfaed5cfb8bb1cf441ce9b60bccce82367cc575c1622 - fgl-visualize-0.1.0.1@sha256:e682066053a6e75478a08fd6822dd0143a3b8ea23244bdb01dd389a266447c5e + - tasty-hedgehog-0.2.0.0@sha256:83a8b777fa472040979e44dba43c32441f55d5ddb9641a4d53deee4b0e09fa34 resolver: lts-13.14 diff --git a/verifuzz.cabal b/verifuzz.cabal index ba5bb45..2e9097e 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -48,12 +48,11 @@ library , VeriFuzz.Parser.Token , VeriFuzz.Parser.Lex , VeriFuzz.Random - , VeriFuzz.RandomAlt , VeriFuzz.Reduce , VeriFuzz.XST , VeriFuzz.Yosys build-depends: base >=4.7 && <5 - , QuickCheck >=2.3 && <2.10 + , hedgehog >= 0.6 && <0.7 , fgl >=5.7 && <5.8 , fgl-arbitrary >=0.2 && <0.3 , fgl-visualize >=0.1 && <0.2 @@ -80,17 +79,10 @@ executable verifuzz default-language: Haskell2010 ghc-options: -threaded -Wall -Werror build-depends: base >= 4.7 && < 5 + , shelly >=1.8.0 && <1.9 , verifuzz >= 0.1 && <0.2 - , fgl >=5.7 && <5.8 - , fgl-arbitrary >=0.2 && <0.3 - , fgl-visualize >=0.1 && <0.2 - , QuickCheck >=2.3 && <2.10 , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 - , shelly >=1.8.0 && <1.9 - , DRBG >=0.5 && <0.6 - , lens >=4.17 && <4.18 - , binary >= 0.8.6 && <0.9 , optparse-applicative >=0.14 && <0.15 default-extensions: OverloadedStrings @@ -102,12 +94,13 @@ test-suite verifuzz-test ghc-options: -Wall -Werror other-modules: Unit , Property - build-depends: base >= 4 && < 5 + build-depends: base >=4 && <5 , verifuzz >=0.1 && <0.2 , fgl >=5.7 && <5.8 - , tasty >= 1.2 && <1.3 - , tasty-hunit >= 0.10 && <0.11 - , tasty-quickcheck >= 0.10 && <0.11 + , tasty >=1.2 && <1.3 + , tasty-hunit >=0.10 && <0.11 + , tasty-hedgehog >=0.2 && <0.3 + , hedgehog >=0.6 && <0.7 , lens >=4.17 && <4.18 , text >=1.2 && <1.3 , parsec >= 3.1 && < 3.2 |