test: add e2e

test_programs/execution_success/no_predicates_brillig/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "no_predicates_brillig"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.27.0"
+
+[dependencies]

test_programs/execution_success/no_predicates_brillig/Prover.toml

@@ -0,0 +1,2 @@
+x = "10"
+y = "20"

test_programs/execution_success/no_predicates_brillig/src/main.nr

@@ -0,0 +1,12 @@
+unconstrained fn main(x: u32, y: pub u32) {
+    basic_checks(x, y);
+}
+
+#[no_predicates]
+fn basic_checks(x: u32, y: u32) {
+    if x > y {
+        assert(x == 10);
+    } else {
+        assert(y == 20);
+    }
+}