]> hydra-www.ietfng.org Git - dyna2/commitdiff
Ensure evaluation of an assertion
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 11 Jul 2013 04:13:23 +0000 (00:13 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 11 Jul 2013 04:13:23 +0000 (00:13 -0400)
Found by reviewing coverage

src/Dyna/Analysis/Mode/Execution/Context.hs

index ffde52a075f1fbf8837c5506fe0813d7f7a71ce8..807d1c8191b854a108316675a0ed0500d49f80ff 100644 (file)
@@ -275,8 +275,8 @@ instance (Show f, Ord f, Monad m) => MCM (SIMCT m f) KI where
                                       ++ (show k))
           (\v' -> do
              merged <- unSIMCT $ f (krenkri v') v
-             uses (simctx_map_k . at (unKI ck))
-                  (flip assert () . (== Just v'))
+             () <- uses (simctx_map_k . at (unKI ck))
+                        (flip assert () . (== Just v'))
              simctx_map_k %= IM.insert (unKI ck)
                                        (either KRName KRStruct merged))
         $ IM.lookup (unKI ck) m