blockifier_test_utils: update block hash test execute mode

Author: dorimedini-starkware

crates/blockifier_test_utils/resources/feature_contracts/cairo1/block_info_test_contract.cairo

@@ -4,10 +4,7 @@ mod Account {
     use array::SpanTrait;
     use box::BoxTrait;
     use starknet::{
-        ContractAddress,
-        info::SyscallResultTrait,
-        get_block_number,
-        get_block_timestamp,
+        ContractAddress, info::SyscallResultTrait, get_block_number, get_block_timestamp,
     };
     use zeroable::{IsZeroResult, NonZeroIntoImpl, Zeroable};
 
@@ -16,8 +13,7 @@ mod Account {
     const VALIDATE_TIMESTAMP_ROUNDING: u64 = 3600;
 
     #[storage]
-    struct Storage {
-    }
+    struct Storage {}
 
     #[constructor]
     fn constructor(ref self: ContractState, is_validate_: bool) {
@@ -64,33 +60,31 @@ mod Account {
     fn test_block_info(is_validate: bool) -> felt252 {
         let block_number = get_block_number();
         let block_timestamp = get_block_timestamp();
-        test_given_block_info(
-            block_number, block_timestamp, is_validate
-        )
+        test_given_block_info(block_number, block_timestamp, is_validate)
     }
 
-    fn test_given_block_info (
+    fn test_given_block_info(
         block_number: u64, block_timestamp: u64, is_validate: bool
     ) -> felt252 {
         // Verify the block number and timestamp.
-        assert (VALIDATE_BLOCK_NUMBER_ROUNDING != 0, 'INVALID_ROUNDING');
+        assert(VALIDATE_BLOCK_NUMBER_ROUNDING != 0, 'INVALID_ROUNDING');
         let (divided_block_number, _) = DivRem::div_rem(
             block_number, VALIDATE_BLOCK_NUMBER_ROUNDING.try_into().unwrap()
         );
         let block_number_for_validate = divided_block_number * VALIDATE_BLOCK_NUMBER_ROUNDING;
         let (divided_block_timestamp, _) = DivRem::div_rem(
             block_timestamp, VALIDATE_TIMESTAMP_ROUNDING.try_into().unwrap()
         );
-        let block_timestamp_for_validate = (
-            divided_block_timestamp * VALIDATE_TIMESTAMP_ROUNDING
-        );
+        let block_timestamp_for_validate = (divided_block_timestamp * VALIDATE_TIMESTAMP_ROUNDING);
 
         if is_validate {
-            assert (block_number == block_number_for_validate, 'INVALID_BLOCK_NUMBER');
-            assert (block_timestamp == block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP');
+            assert(block_number == block_number_for_validate, 'INVALID_BLOCK_NUMBER');
+            assert(block_timestamp == block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP');
             return starknet::VALIDATED;
         }
-        assert (!is_validate, 'INVALID_IS_VALIDATE');
+        assert(block_number != block_number_for_validate, 'INVALID_BLOCK_NUMBER');
+        assert(block_timestamp != block_timestamp_for_validate, 'INVALID_BLOCK_TIMESTAMP');
+        assert(!is_validate, 'INVALID_IS_VALIDATE');
         starknet::VALIDATED
     }
 }