From b72c905c718ff52e623b748034d567cf8552b50e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 May 2019 12:51:11 +0100 Subject: Only modify expressions in swarm testing --- src/VeriFuzz.hs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src/VeriFuzz.hs') 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 -- cgit