1  /*
 2  seed = 123456789
 3  min_height = 16
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "some_assignments"
 8  input = ["false", "false", "false"]
 9  [case]
10  program = "test.alpha"
11  function = "some_assignments"
12  input = ["false", "false", "true"]
13  [case]
14  program = "test.alpha"
15  function = "some_assignments"
16  input = ["false", "true", "false"]
17  [case]
18  program = "test.alpha"
19  function = "some_assignments"
20  input = ["false", "true", "true"]
21  [case]
22  program = "test.alpha"
23  function = "some_assignments"
24  input = ["true", "false", "false"]
25  [case]
26  program = "test.alpha"
27  function = "some_assignments"
28  input = ["true", "false", "true"]
29  [case]
30  program = "test.alpha"
31  function = "some_assignments"
32  input = ["true", "true", "false"]
33  [case]
34  program = "test.alpha"
35  function = "some_assignments"
36  input = ["true", "true", "true"]
37  */
38  
39  program test.alpha {
40      transition some_assignments(public a: bool, public b: bool, public c: bool) -> public [[u32; 2]; 2] {
41          let arr: [[u32; 2]; 2] = [[1u32, 2u32], [3u32, 4u32]];
42          if a {
43              arr[0u8][0u8] = 10u32;
44              arr[0u8][1u8] = 20u32;
45          } else {
46              arr[1u8][0u8] = 30u32;
47          }
48          if b {
49              arr[0u8] = [100u32, 200u32];
50          }
51          if c {
52              arr[0u8][0u8] = 1000u32;
53              arr[0u8][1u8] = 2000u32;
54          }
55          return arr;
56      }
57  
58      @noupgrade
59      async constructor() {}
60  }