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 /app | |
| parent | 6776d38b11186e97101995eb2c071096cc1d648b (diff) | |
| download | verismith-31325e890e8a7807ec5a3d996c3789baad0e8dc4.tar.gz verismith-31325e890e8a7807ec5a3d996c3789baad0e8dc4.zip | |
Generate Verilog instead of ModDecl
Diffstat (limited to 'app')
| -rw-r--r-- | app/Main.hs | 2 |
1 files changed, 1 insertions, 1 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 ) |