Adding asserts to Counter update rule

B-Lang-org · Feb 1, 2024 · 8704c63 · 8704c63
1 parent 2e37c26
commit 8704c63
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Libraries/GenC/GenCMsg/GenCMsg.bs b/Libraries/GenC/GenCMsg/GenCMsg.bs
@@ -197,6 +197,8 @@ mkCounter init = module
   dec :: Wire (UInt 8) <- mkDWire 0
 
   rules
+    {-# ASSERT fire when enabled #-}
+    {-# ASSERT no implicit conditions #-}
     "update": when True ==> value := value + inc - dec
 
   interface