diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-04 16:54:20 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-04 16:54:20 +0000 |
commit | cf8ab8157ebe18538b026379a8221b547b548830 (patch) | |
tree | feda0c04bae1fb0380212ec25db9a5914f645b5d | |
parent | 9ed95213c0b33c56a1de73703f7fc30c13eee4fa (diff) | |
download | verismith-cf8ab8157ebe18538b026379a8221b547b548830.tar.gz verismith-cf8ab8157ebe18538b026379a8221b547b548830.zip |
Add quickcheck to main
-rw-r--r-- | app/Main.hs | 3 | ||||
-rw-r--r-- | verifuzz.cabal | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs index e3efc80..c551ea5 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -5,6 +5,7 @@ import Data.GraphViz import Data.GraphViz.Attributes.Complete import Data.Text.IO as T import Data.Text.Lazy +import qualified Test.QuickCheck as QC import Test.VeriFuzz @@ -17,3 +18,5 @@ main = do gr <- genRandomDAG 100 :: IO (Gr Gate ()) -- _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png" T.putStrLn $ generate gr + g <- QC.generate (QC.arbitrary :: QC.Gen SourceText) + render $ genSourceText g diff --git a/verifuzz.cabal b/verifuzz.cabal index 785367c..ab8e232 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -39,6 +39,7 @@ executable verifuzz , graphviz , fgl , text + , QuickCheck test-suite verifuzz-test default-language: Haskell2010 |