diff --git a/test_programs/execution_success/brillig_array_eq/Nargo.toml b/test_programs/execution_success/brillig_array_eq/Nargo.toml
new file mode 100644
index 00000000000..62ce392f96b
--- /dev/null
+++ b/test_programs/execution_success/brillig_array_eq/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "brillig_array_eq"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/brillig_array_eq/Prover.toml b/test_programs/execution_success/brillig_array_eq/Prover.toml
new file mode 100644
index 00000000000..ecfed7de213
--- /dev/null
+++ b/test_programs/execution_success/brillig_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/test_programs/execution_success/brillig_array_eq/src/main.nr b/test_programs/execution_success/brillig_array_eq/src/main.nr
new file mode 100644
index 00000000000..90f631dbed8
--- /dev/null
+++ b/test_programs/execution_success/brillig_array_eq/src/main.nr
@@ -0,0 +1,4 @@
+// Simple example of checking where two arrays are equal
+unconstrained fn main(a: [Field; 32], b: [Field; 32]) {
+    assert(a == b);
+}