added uncat0: conditional trap

tests/test/README.md → tests/public/uncat0/README.md

@@ -1,4 +1,4 @@
-# test.aleo
+# uncat0.aleo
 
 ## Build Guide
 

tests/public/uncat0/inputs/ex0.in

@@ -0,0 +1 @@
+0u8

tests/public/uncat0/inputs/ex1.in

@@ -0,0 +1 @@
+0u8

tests/public/uncat0/inputs/ex2.in

@@ -0,0 +1 @@
+200u8

tests/public/uncat0/leo.lock

@@ -0,0 +1 @@
+package = []

tests/test/program.json → tests/public/uncat0/program.json

@@ -1,5 +1,5 @@
 {
-    "program": "test.aleo",
+    "program": "uncat0.aleo",
     "version": "0.0.0",
     "description": "",
     "license": "MIT"

tests/public/uncat0/src/main.leo

@@ -0,0 +1,36 @@
+// The 'uncat0' program.
+program uncat0.aleo {
+    transition vanguard_helper() -> [bool; 3] {
+        return [
+            label_ex0, label_ex1, label_ex2,
+        ];
+    }
+
+    // conditional trap
+    // compilable, exception at runtime
+    // label: bad
+    const label_ex0: bool = true;
+    transition ex0(a: u8) -> u8 {
+        if a == 0u8 { return 1u8; }
+        let c: u8 = 224u8 / a;
+        return c;
+    }
+
+    // conditional trap
+    // compilable, exception at runtime
+    // label: bad
+    const label_ex1: bool = true;
+    transition ex1(a: u8) -> u8 {
+        let c: u8 = a == 0u8 ? 224u8 / 1u8 : 224u8 / a;
+        return c;
+    }
+
+    // conditional trap
+    // compilable, exception when a >= 200
+    // label: bad
+    const label_ex2: bool = true;
+    transition ex2(a: u8) -> u8 {
+        let c: u8 = a >= 200u8 ? a : 56u8 + a;
+        return c;
+    }
+}