1  /*
 2  seed = 123456789
 3  min_height = 17
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "mint"
 8  input = ["ax14lskz87tkqwwkyt2z44h64ave5gcwqs6yyfdztus37nupxsj8ypsmqsqcs",  "0u64"]
 9  [case]
10  program = "test.alpha"
11  function = "mint"
12  input = ["ax12keuztkg4cjzxx7hwwmrnnv85dkeqf8pjm877lf6f6lupma2pqrqcl2d8q", "1u64"]
13  */
14  
15  
16  program test.alpha {
17      record Token {
18          // The token owner.
19          private owner: address,
20          // The token amount.
21          amount: u64,
22          // The flag.
23          constant flag: bool,
24      }
25  
26      transition mint(owner: address, amount: u64) -> Token {
27          return Token {
28              owner,
29              amount: amount,
30              flag: true,
31          };
32      }
33  
34      @noupgrade
35      async constructor() {}
36  }