1  /*
 2  seed = 123456789
 3  min_height = 16
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "main"
 8  input = ["1u32"]
 9  [case]
10  program = "test.alpha"
11  function = "main"
12  input = ["2u32"]
13  [case]
14  program = "test.alpha"
15  function = "main"
16  input = ["3u32"]
17  [case]
18  program = "test.alpha"
19  function = "main"
20  input = ["4u32"]
21  [case]
22  program = "test.alpha"
23  function = "main"
24  input = ["5u32"]
25  */
26  
27  // The intent is to test that the assertion
28  // does not trigger if the early return happens.
29  program test.alpha {
30      transition main(x: u32) -> bool {
31          if x < 5u32 {
32              return true;
33          }
34          assert(false);
35          return true;
36      }
37  
38      @noupgrade
39      async constructor() {}
40  }