diff --git a/crates/blockifier/src/concurrency/versioned_state.rs b/crates/blockifier/src/concurrency/versioned_state.rs
index 7b40ecca80..5275e68c55 100644
--- a/crates/blockifier/src/concurrency/versioned_state.rs
+++ b/crates/blockifier/src/concurrency/versioned_state.rs
@@ -121,7 +121,8 @@ impl<S: StateReader> VersionedState<S> {
             let is_declared = self.declared_contracts.read(tx_index, class_hash).expect(READ_ERR);
             assert_eq!(
                 is_declared,
-                self.compiled_contract_classes.read(tx_index, class_hash).is_some()
+                self.compiled_contract_classes.read(tx_index, class_hash).is_some(),
+                "The declared contracts mapping should match the compiled contract classes mapping."
             );
 
             if &is_declared != expected_value {
@@ -156,7 +157,11 @@ impl<S: StateReader> VersionedState<S> {
         }
         for (&key, &value) in &writes.declared_contracts {
             self.declared_contracts.write(tx_index, key, value);
-            assert_eq!(value, self.compiled_contract_classes.read(tx_index, key).is_some());
+            assert_eq!(
+                value,
+                self.compiled_contract_classes.read(tx_index, key).is_some(),
+                "The declared contracts mapping should match the compiled contract classes mapping."
+            );
         }
     }