Add separate execution_success/loop test

test_programs/execution_success/loop/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "loop"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/loop/Prover.toml

@@ -0,0 +1 @@
+sum = "6"

test_programs/execution_success/loop/src/main.nr

@@ -0,0 +1,23 @@
+// Tests a very simple program.
+// 
+// The features being tested is basic looping.
+fn main(six_as_u32: u32) {
+    assert_eq(loop(4), six_as_u32);
+    assert_eq(loop_incl(3), six_as_u32);
+}
+
+fn loop(x: u32) -> u32 {
+    let mut sum = 0;
+    for i in 0..x {
+        sum = sum + i;
+    }
+    sum
+}
+
+fn loop_incl(x: u32) -> u32 {
+    let mut sum = 0;
+    for i in 0..=x {
+        sum = sum + i;
+    }
+    sum
+}