Merge branch 'arbitrary-felts-sqrt-and-proptests' of github.com:lambdaclass/cairo-rs into arbitrary-felts-sqrt-and-proptests

Author: fmoletta

cairo_programs/cairo-1-contracts/assert_le_find_small_arcs.cairo

@@ -0,0 +1,14 @@
+#[contract]
+  mod Felt252Dict {
+
+  use dict::{felt252_dict_entry_finalize, Felt252DictTrait};
+
+      #[external]
+      fn update_dict() {
+        let mut dict = felt252_dict_new::<felt252>();
+        dict.insert(1, 64);
+        dict.insert(2, 75);
+        dict.insert(3, 75);
+        dict.squash();
+     }
+ }

src/tests/cairo_1_run_from_entrypoint_tests.rs

@@ -459,6 +459,14 @@ fn linear_split() {
     );
 }
 
+#[test]
+#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
+fn assert_le_find_small_arcs() {
+    let program_data =
+        include_bytes!("../../cairo_programs/cairo-1-contracts/assert_le_find_small_arcs.casm");
+    run_cairo_1_entrypoint(program_data.as_slice(), 0, &[], &[]);
+}
+
 #[test]
 #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
 fn felt252_dict_entry_init() {