chore: recompile Cairo1 contracts in blockifier

Signed-off-by: Dori Medini <[email protected]>
starkware-libs · Jul 30, 2024 · 0fbbb94 · 0fbbb94
1 parent b8b23c2
commit 0fbbb94
Show file tree

Hide file tree

Showing 7 changed files with 9 additions and 8 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -33786,4 +33786,4 @@
       }
     ]
   }
-}
+}
diff --git 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) {