diff options
Diffstat (limited to 'src/Verismith.hs')
| -rw-r--r-- | src/Verismith.hs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/Verismith.hs b/src/Verismith.hs index c329678..3d4f54b 100644 --- a/src/Verismith.hs +++ b/src/Verismith.hs @@ -101,7 +101,7 @@ randDelete i = do return $ if r then i else 0 randomise :: Config -> IO Config -randomise config@(Config a _ c d e) = do +randomise config@(Config emi a _ c d e) = do mia <- return $ cm ^. probModItemAssign misa <- return $ cm ^. probModItemSeqAlways mica <- return $ cm ^. probModItemCombAlways @@ -124,6 +124,7 @@ randomise config@(Config a _ c d e) = do eus <- randDelete $ ce ^. probExprUnsigned return $ Config + emi a ( Probability (ProbModItem mia misa mica mii) @@ -163,6 +164,11 @@ handleOpts (Fuzz o configF f k n nosim noequiv noreduction file top cc checker) defaultYosys (fuzzMultiple gen) return () +handleOpts (EMIOpts o configF f k n nosim noequiv noreduction) = do + config <- getConfig configF + datadir <- getDataDir + putStrLn "Starting EMI testing..." + return () handleOpts (Generate f c) = do config <- getConfig c source <- proceduralIO "top" config :: IO (Verilog ()) |