diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 12:51:11 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 12:51:11 +0100 |
| commit | b72c905c718ff52e623b748034d567cf8552b50e (patch) | |
| tree | b3daf3603897b5ea0cdf50cc1fc28a7e862431b1 /src | |
| parent | 309dd0b0a84057c998c492fdf488156c73b33613 (diff) | |
| download | verismith-b72c905c718ff52e623b748034d567cf8552b50e.tar.gz verismith-b72c905c718ff52e623b748034d567cf8552b50e.zip | |
Only modify expressions in swarm testing
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index b7d46d1..7b79633 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -293,14 +293,14 @@ randDelete i = do randomise :: Config -> IO Config randomise config@(Config a _ c d e) = do - mia <- randDelete $ cm ^. probModItemAssign + mia <- return $ cm ^. probModItemAssign misa <- return $ cm ^. probModItemSeqAlways - mica <- randDelete $ cm ^. probModItemCombAlways - mii <- randDelete $ cm ^. probModItemInst - ssb <- randDelete $ cs ^. probStmntBlock - ssnb <- randDelete $ cs ^. probStmntNonBlock - ssc <- randDelete $ cs ^. probStmntCond - ssf <- randDelete $ cs ^. probStmntFor + mica <- return $ cm ^. probModItemCombAlways + mii <- return $ cm ^. probModItemInst + ssb <- return $ cs ^. probStmntBlock + ssnb <- return $ cs ^. probStmntNonBlock + ssc <- return $ cs ^. probStmntCond + ssf <- return $ cs ^. probStmntFor en <- return $ ce ^. probExprNum ei <- randDelete $ ce ^. probExprId ers <- randDelete $ ce ^. probExprRangeSelect |