chore: add integration test for array equality

noir-lang · Aug 11, 2023 · 7ed59f0 · 7ed59f0
1 parent 81b4614
commit 7ed59f0
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 0 deletions.
diff --git a/crates/nargo_cli/tests/execution_success/array_eq/Nargo.toml b/crates/nargo_cli/tests/execution_success/array_eq/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "array_eq"
+type = "bin"
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]
diff --git a/crates/nargo_cli/tests/execution_success/array_eq/Prover.toml b/crates/nargo_cli/tests/execution_success/array_eq/Prover.toml
@@ -0,0 +1,2 @@
+a = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]
+b = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]
diff --git a/crates/nargo_cli/tests/execution_success/array_eq/src/main.nr b/crates/nargo_cli/tests/execution_success/array_eq/src/main.nr
@@ -0,0 +1,6 @@
+use dep::std;
+
+// Simple example of checking where two arrays are different
+fn main(a: [Field; 32], b: [Field; 32]) {
+     std::assert_eq(a, b);
+}
diff --git a/crates/nargo_cli/tests/execution_success/array_eq/target/array_eq.json b/crates/nargo_cli/tests/execution_success/array_eq/target/array_eq.json
@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"a","type":{"kind":"array","length":32,"type":{"kind":"field"}},"visibility":"private"},{"name":"b","type":{"kind":"array","length":32,"type":{"kind":"field"}},"visibility":"private"}],"param_witnesses":{"a":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32],"b":[33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9XZV07DQBSFYRMIkN577z3xuMTjdJZCRLL/JXAQjgTPHAT3Sr9GsqXR/Z7nxTCMrvE54eBsB+cdCqF79BD8f0RP6BlFUBTFUBwlUBKlUBplUBblUB4VUBGVUBlVUBXVUB01UBO1gh3CwQ63fTrBrj3URwM0RCM0RhM0RTM0Rwu0RCtkIoUsZCMHuWiNPKSRjzZoi3Zojw7oiE7G9wkF5+27+bNRd1/uss2141w866Js9Wpa/lm7puOe11pp5Wr3zdK2fdGO9vyz75m+cuyLurq+fQ0u6/D2Mn/THCKau0LM90RzT4j5gWjuCzGHieaBEPMj0TwUYn4imkdCzM9E81iIOUI0T4SYo0TzVIg5RjTPhJjjRPNciDlBNC+EmJNE81KIOUU0r4SY00SzKcScIZqVEHOWaLaEmHNEsy3EnCeaHSHmAtHsCjEXiea1EHOJaPaEmMtEsxZirhDNvhBzlWjeCDHXiOatEHOdaN4JMTeI5r0Qc5NoPggxt4jmoxBzm2g+Ec23e/76Xf4/vcN/zDvcddVNxCAAAA==","proving_key":null,"verification_key":null}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		a = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]
		b = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"a","type":{"kind":"array","length":32,"type":{"kind":"field"}},"visibility":"private"},{"name":"b","type":{"kind":"array","length":32,"type":{"kind":"field"}},"visibility":"private"}],"param_witnesses":{"a":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32],"b":[33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9XZV07DQBSFYRMIkN577z3xuMTjdJZCRLL/JXAQjgTPHAT3Sr9GsqXR/Z7nxTCMrvE54eBsB+cdCqF79BD8f0RP6BlFUBTFUBwlUBKlUBplUBblUB4VUBGVUBlVUBXVUB01UBO1gh3CwQ63fTrBrj3URwM0RCM0RhM0RTM0Rwu0RCtkIoUsZCMHuWiNPKSRjzZoi3Zojw7oiE7G9wkF5+27+bNRd1/uss2141w866Js9Wpa/lm7puOe11pp5Wr3zdK2fdGO9vyz75m+cuyLurq+fQ0u6/D2Mn/THCKau0LM90RzT4j5gWjuCzGHieaBEPMj0TwUYn4imkdCzM9E81iIOUI0T4SYo0TzVIg5RjTPhJjjRPNciDlBNC+EmJNE81KIOUU0r4SY00SzKcScIZqVEHOWaLaEmHNEsy3EnCeaHSHmAtHsCjEXiea1EHOJaPaEmMtEsxZirhDNvhBzlWjeCDHXiOatEHOdaN4JMTeI5r0Qc5NoPggxt4jmoxBzm2g+Ec23e/76Xf4/vcN/zDvcddVNxCAAAA==","proving_key":null,"verification_key":null}