From 3a984476899f308c7429c78a6ae2c007895c341a Mon Sep 17 00:00:00 2001
From: dorimedini-starkware <dori@starkware.co>
Date: Tue, 30 Jul 2024 11:35:42 +0300
Subject: [PATCH] chore: recompile Cairo1 contracts in blockifier (#190)

Signed-off-by: Dori Medini <dori@starkware.co>
---
 .../blockifier/feature_contracts/cairo1/account_faulty.cairo | 2 +-
 .../cairo1/compiled/account_faulty.casm.json                 | 2 +-
 .../cairo1/compiled/account_with_dummy_validate.casm.json    | 2 +-
 .../cairo1/compiled/account_with_long_validate.casm.json     | 2 +-
 .../cairo1/compiled/empty_contract.casm.json                 | 2 +-
 .../cairo1/compiled/test_contract.casm.json                  | 2 +-
 .../blockifier/feature_contracts/cairo1/test_contract.cairo  | 5 +++--
 7 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo b/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
index 3c08b1535f..76e9b1e6b4 100644
--- a/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
+++ b/crates/blockifier/feature_contracts/cairo1/account_faulty.cairo
@@ -114,7 +114,7 @@ mod Account {
         }
         if (scenario == CALL_CONTRACT) {
             let contract_address: felt252 = *signature[1_u32];
-            let mut calldata = Default::default();
+            let mut calldata: Array<felt252> = Default::default();
             call_contract_syscall(
                 address: contract_address_try_from_felt252(contract_address).unwrap(),
                 entry_point_selector: FOO_ENTRY_POINT_SELECTOR,
diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/account_faulty.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/account_faulty.casm.json
index 8d2abe5ec2..be48e8ab57 100644
--- a/crates/blockifier/feature_contracts/cairo1/compiled/account_faulty.casm.json
+++ b/crates/blockifier/feature_contracts/cairo1/compiled/account_faulty.casm.json
@@ -1,6 +1,6 @@
 {
   "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
-  "compiler_version": "2.6.0",
+  "compiler_version": "2.7.0",
   "bytecode": [
     "0xa0680017fff8000",
     "0x7",
diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/account_with_dummy_validate.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/account_with_dummy_validate.casm.json
index 1037d4c7b4..50f2daba4d 100644
--- a/crates/blockifier/feature_contracts/cairo1/compiled/account_with_dummy_validate.casm.json
+++ b/crates/blockifier/feature_contracts/cairo1/compiled/account_with_dummy_validate.casm.json
@@ -1,6 +1,6 @@
 {
   "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
-  "compiler_version": "2.6.0",
+  "compiler_version": "2.7.0",
   "bytecode": [
     "0xa0680017fff8000",
     "0x7",
diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/account_with_long_validate.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/account_with_long_validate.casm.json
index 48807a6494..a546fc058b 100644
--- a/crates/blockifier/feature_contracts/cairo1/compiled/account_with_long_validate.casm.json
+++ b/crates/blockifier/feature_contracts/cairo1/compiled/account_with_long_validate.casm.json
@@ -1,6 +1,6 @@
 {
   "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
-  "compiler_version": "2.6.0",
+  "compiler_version": "2.7.0",
   "bytecode": [
     "0xa0680017fff8000",
     "0x7",
diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/empty_contract.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/empty_contract.casm.json
index 45030bbbd7..147375e76c 100644
--- a/crates/blockifier/feature_contracts/cairo1/compiled/empty_contract.casm.json
+++ b/crates/blockifier/feature_contracts/cairo1/compiled/empty_contract.casm.json
@@ -1,6 +1,6 @@
 {
   "prime": "0x800000000000011000000000000000000000000000000000000000000000001",
-  "compiler_version": "2.6.0",
+  "compiler_version": "2.7.0",
   "bytecode": [],
   "bytecode_segment_lengths": 0,
   "hints": [],
diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json
index b00a57f883..6b8a8f42a8 100644
--- a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json
+++ b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json
@@ -33786,4 +33786,4 @@
       }
     ]
   }
-}
\ No newline at end of file
+}
diff --git a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo
index 9450aa119f..604c9f278b 100644
--- a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo
+++ b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo
@@ -554,9 +554,10 @@ mod TestContract {
         assert!(outputs.get_output(mul) == u384 { limb0: 6, limb1: 0, limb2: 0, limb3: 0 });
     }
 
-
-    // Add drop for AddInputResult as it only has PanicDestruct.
+    // Add drop for these objects as they only have PanicDestruct.
     impl AddInputResultDrop<C> of Drop<core::circuit::AddInputResult<C>>;
+    impl CircuitDataDrop<C> of Drop<core::circuit::CircuitData<C>>;
+    impl CircuitInputAccumulatorDrop<C> of Drop<core::circuit::CircuitInputAccumulator<C>>;
 
     #[external(v0)]
     fn test_rc96_holes(ref self: ContractState) {