Add tests

ethereum_history_api/circuits/lib/src/account_int_test.nr

@@ -25,6 +25,15 @@ fn test_verify_account() {
     let _ = verify_account(state_proof.key, account, state_proof, state_root);
 }
 
+#[test(should_fail)]
+fn test_verify_account_wrong_address() {
+    let _ = OracleMock::mock("get_header").returns((block_header_partial, block_header_rlp));
+
+    let _ = verify_account(state_proof_from_different_header.key, account, state_proof, state_root_from_different_header);
+
+}
+
+
 #[test(should_fail)]
 fn test_verify_account_wrong_state_root() {
     let _ = OracleMock::mock("get_header").returns((block_header_partial, block_header_rlp));

ethereum_history_api/circuits/lib/src/misc/arrays_test.nr

@@ -1,4 +1,4 @@
-use crate::misc::arrays::{sub_array_equals_up_to_length, sub_array_equals};
+use crate::misc::arrays::{sub_array_equals_up_to_length, sub_array_equals, array_equals};
 
 #[test]
 fn test_assert_sub_array_equals() {
@@ -51,3 +51,21 @@ fn test_sub_array_equals_index_out_of_bound() -> bool {
     let b: [Field; 5] = [1, 2, 3, 4, 5];
     sub_array_equals(a, b, 3)
 }
+
+#[test]
+fn test_array_equals() {
+    let a: [Field; 0] = [];
+    let b: [Field; 3] = [1, 2, 3];
+    assert(array_equals(a, a));
+    assert(array_equals(b, b));
+}
+
+#[test(should_fail)]
+fn test_array_not_equals() {
+    let a: [Field; 3] = [1, 2, 3];
+    let b: [Field; 3] = [1, 2, 4];
+    let c: [Field; 4] = [1, 2, 3, 4];
+    let d: [Field; 4] = [0, 2, 3, 4];
+    assert(array_equals(a, b));
+    assert(array_equals(c, d));
+}