add failing test files

HerodotusDev · May 3, 2024 · aea0a26 · aea0a26
1 parent 553ed66
commit aea0a26
Show file tree

Hide file tree

Showing 5 changed files with 3,479 additions and 0 deletions.
diff --git a/lib/rlp_little.cairo b/lib/rlp_little.cairo
@@ -242,6 +242,7 @@ func assert_subset_in_key_be{range_check_ptr, bitwise_ptr: BitwiseBuiltin*}(
     );
     let (key_shifted, _) = uint256_unsigned_div_rem(key_shifted, u256_power);
     %{ print(f"Key shifted final: {hex(ids.key_shifted.low + ids.key_shifted.high*2**128)}") %}
+    %{ print(f"key subset expect: {hex(ids.key_subset_be_final.low + ids.key_subset_be_final.high*2**128)}") %}
     assert key_subset_be_final.low = key_shifted.low;
     assert key_subset_be_final.high = key_shifted.high;
     return ();