/ tests / tests / execution / metadata.adl
metadata.adl
 1  /*
 2  seed = 123456789
 3  min_height = 16
 4  
 5  [case]
 6  program = "metadata.alpha"
 7  function = "is_block_height"
 8  input = ["2u32"]
 9  [case]
10  program = "metadata.alpha"
11  function = "is_block_height"
12  input = ["3u32"]
13  [case]
14  program = "metadata.alpha"
15  function = "is_block_height"
16  input = ["4u32"]
17  [case]
18  program = "metadata.alpha"
19  function = "is_block_height"
20  input = ["0u32"]
21  [case]
22  program = "metadata.alpha"
23  function = "is_network_id"
24  input = ["0u16"]
25  [case]
26  program = "metadata.alpha"
27  function = "is_network_id"
28  input = ["1u16"]
29  [case]
30  program = "metadata.alpha"
31  function = "is_network_id"
32  input = ["2u16"]
33  [case]
34  program = "metadata.alpha"
35  function = "is_network_id"
36  input = ["3u16"]
37  */
38  
39  
40  program metadata.alpha {
41  
42      async transition is_block_height(block_height: u32) -> Future {
43          return finalize_is_block_height(block_height);
44      }
45  
46      async function finalize_is_block_height(block_height: u32) {
47          assert_eq(block_height, block.height);
48      }
49  
50      async transition is_network_id(network_id: u16) -> Future {
51          return finalize_is_network_id(network_id);
52      }
53  
54      async function finalize_is_network_id(network_id: u16) {
55          assert_eq(network_id, network.id);
56      }
57  
58      @custom
59      async constructor() {
60          assert_eq(true, true);
61      }
62  }