central_systest_blobs: support reverting invokes

Author: dorimedini-starkware

crates/central_systest_blobs/src/cende_blob_regression_test.rs

@@ -158,7 +158,11 @@ static NON_TRIVIAL_RESOURCE_BOUNDS: LazyLock<AllResourceBounds> =
         },
     });
 
-type TxPair = (ExecutableAccountTx, InternalConsensusTransaction);
+struct TxPair {
+    executable: ExecutableAccountTx,
+    internal: InternalConsensusTransaction,
+    should_revert: bool,
+}
 
 /// ID of the current blobs file.
 fn current_generation() -> usize {
@@ -302,13 +306,18 @@ impl BlobFactory {
         )
         .unwrap();
         let mut transactions_with_receipts = Vec::new();
-        for (executable, internal) in self.next_txs.iter() {
+        for TxPair { executable, internal, should_revert } in self.next_txs.iter() {
             let (execution_info, _state_changes) = executor
                 .execute(&BlockifierTx::new_for_sequencing(ExecutableTx::Account(
                     executable.clone(),
                 )))
                 .unwrap();
-            assert!(!execution_info.is_reverted(), "Got a reverted tx: {execution_info:?}");
+            assert_eq!(
+                execution_info.is_reverted(),
+                *should_revert,
+                "Execution result does not match expected (should_revert={should_revert}): \
+                 {execution_info:?}"
+            );
 
             transactions_with_receipts.push(InternalTransactionWithReceipt {
                 transaction: internal.clone(),
@@ -507,7 +516,11 @@ impl BlobFactory {
             .returning(move |_| Ok(Some(contract.get_class())));
 
         // Return the transactions.
-        self.next_txs.push((executable.into(), internal_tx));
+        self.next_txs.push(TxPair {
+            executable: executable.into(),
+            internal: internal_tx,
+            should_revert: false,
+        });
     }
 
     fn make_free_deploy_account_tx(&mut self, account: FeatureContract) -> ContractAddress {
@@ -559,7 +572,11 @@ impl BlobFactory {
             tx: without_hash,
             tx_hash,
         });
-        self.next_txs.push((executable.into(), internal));
+        self.next_txs.push(TxPair {
+            executable: executable.into(),
+            internal,
+            should_revert: false,
+        });
         contract_address
     }
 
@@ -569,6 +586,7 @@ impl BlobFactory {
         function_name: &str,
         calldata: &[Felt],
         with_fee_charge: bool,
+        should_revert: bool,
     ) {
         let nonce = self.nonce_manager.next(*OPERATOR_ADDRESS);
         let resource_bounds = if with_fee_charge {
@@ -604,7 +622,7 @@ impl BlobFactory {
             tx: without_hash,
             tx_hash,
         });
-        self.next_txs.push((executable.into(), internal));
+        self.next_txs.push(TxPair { executable: executable.into(), internal, should_revert });
     }
 
     fn make_operator_deploy_tx(
@@ -633,6 +651,7 @@ impl BlobFactory {
             "deploy_contract",
             &calldata,
             with_fee_charge,
+            false, // should not revert
         );
         contract_address
     }
@@ -668,7 +687,7 @@ impl BlobFactory {
         let mut transaction_receipts = vec![];
         let mut transaction_state_diffs = vec![];
 
-        for (tx_index, (executable, internal)) in txs.into_iter().enumerate() {
+        for (tx_index, TxPair { executable, internal, .. }) in txs.into_iter().enumerate() {
             let tx_hash = match &internal {
                 InternalConsensusTransaction::RpcTransaction(tx) => tx.tx_hash,
                 InternalConsensusTransaction::L1Handler(_) => {