1  /*
 2  seed = 987654321
 3  start_height = 20
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "check_starting_height"
 8  input = ["23u32"]
 9  */
10  
11  // Note the input height is 23, since the test framework creates a few more blocks to set up the VM.
12  
13  program test.alpha {
14      async transition check_starting_height(height: u32) -> Future {
15          return check_starting_height_(height);
16      }
17  
18      async function check_starting_height_(height: u32) {
19          assert(height <= block.height);
20      }
21  
22      @noupgrade
23      async constructor() {}
24  }