From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 11 Jul 2013 04:13:23 +0000 (-0400)
Subject: Ensure evaluation of an assertion
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=30f247f916b1a86e1057a1bb57f047e73001e30c;p=dyna2

Ensure evaluation of an assertion

Found by reviewing coverage
---

diff --git a/src/Dyna/Analysis/Mode/Execution/Context.hs b/src/Dyna/Analysis/Mode/Execution/Context.hs
index ffde52a..807d1c8 100644
--- a/src/Dyna/Analysis/Mode/Execution/Context.hs
+++ b/src/Dyna/Analysis/Mode/Execution/Context.hs
@@ -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