1  /*
  2  seed = 1114567890
  3  
  4  [case]
  5  program = "test.alpha"
  6  function = "address_cast"
  7  input = ["aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey"]
  8  [case]
  9  program = "test.alpha"
 10  function = "bool_cast"
 11  input = ["false"]
 12  [case]
 13  program = "test.alpha"
 14  function = "field_casts"
 15  input = ["0field"]
 16  [case]
 17  program = "test.alpha"
 18  function = "group_casts"
 19  input = ["0group"]
 20  [case]
 21  program = "test.alpha"
 22  function = "i8_casts"
 23  input = ["0i8"]
 24  [case]
 25  program = "test.alpha"
 26  function = "i16_casts"
 27  input = ["0i16"]
 28  [case]
 29  program = "test.alpha"
 30  function = "i32_casts"
 31  input = ["0i32"]
 32  [case]
 33  program = "test.alpha"
 34  function = "i64_casts"
 35  input = ["0i64"]
 36  [case]
 37  program = "test.alpha"
 38  function = "i128_casts"
 39  input = ["0i128"]
 40  [case]
 41  program = "test.alpha"
 42  function = "u8_casts"
 43  input = ["0u8"]
 44  [case]
 45  program = "test.alpha"
 46  function = "u16_casts"
 47  input = ["0u16"]
 48  [case]
 49  program = "test.alpha"
 50  function = "u32_casts"
 51  input = ["0u32"]
 52  [case]
 53  program = "test.alpha"
 54  function = "u64_casts"
 55  input = ["0u64"]
 56  [case]
 57  program = "test.alpha"
 58  function = "u128_casts"
 59  input = ["0u128"]
 60  [case]
 61  program = "test.alpha"
 62  function = "scalar_cast"
 63  input = ["0scalar"]
 64  */
 65  
 66  program test.alpha {
 67      transition address_cast(a: address) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 68          return (a as address, a as bool, a as field, a as group, a as i8, a as i16, a as i32, a as i64, a as i128, a as u8, a as u16, a as u32, a as u64, a as u128, a as scalar);
 69      }
 70  
 71      transition bool_cast(b: bool) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 72          return (b as address, b as bool, b as field, b as group, b as i8, b as i16, b as i32, b as i64, b as i128, b as u8, b as u16, b as u32, b as u64, b as u128, b as scalar);
 73      }
 74  
 75      transition field_casts(f: field) -> (bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128) {
 76          return (f as bool, f as field, f as group, f as i8, f as i16, f as i32, f as i64, f as i128, f as u8, f as u16, f as u32, f as u64, f as u128);
 77      }
 78  
 79      transition group_casts(g: group) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128) {
 80          return (g as address, g as bool, g as field, g as group, g as i8, g as i16, g as i32, g as i64, g as i128, g as u8, g as u16, g as u32, g as u64, g as u128);
 81      }
 82  
 83      transition i8_casts(i: i8) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 84          return (i as address, i as bool, i as field, i as group, i as i8, i as i16, i as i32, i as i64, i as i128, i as u8, i as u16, i as u32, i as u64, i as u128, i as scalar);
 85      }
 86  
 87      transition i16_casts(i: i16) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 88          return (i as address, i as bool, i as field, i as group, i as i8, i as i16, i as i32, i as i64, i as i128, i as u8, i as u16, i as u32, i as u64, i as u128, i as scalar);
 89      }
 90  
 91      transition i32_casts(i: i32) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 92          return (i as address, i as bool, i as field, i as group, i as i8, i as i16, i as i32, i as i64, i as i128, i as u8, i as u16, i as u32, i as u64, i as u128, i as scalar);
 93      }
 94  
 95      transition i64_casts(i: i64) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
 96          return (i as address, i as bool, i as field, i as group, i as i8, i as i16, i as i32, i as i64, i as i128, i as u8, i as u16, i as u32, i as u64, i as u128, i as scalar);
 97      }
 98  
 99      transition i128_casts(i: i128) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
100          return (i as address, i as bool, i as field, i as group, i as i8, i as i16, i as i32, i as i64, i as i128, i as u8, i as u16, i as u32, i as u64, i as u128, i as scalar);
101      }
102  
103      transition u8_casts(u: u8) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
104          return (u as address, u as bool, u as field, u as group, u as i8, u as i16, u as i32, u as i64, u as i128, u as u8, u as u16, u as u32, u as u64, u as u128, u as scalar);
105      }
106  
107      transition u16_casts(u: u16) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
108          return (u as address, u as bool, u as field, u as group, u as i8, u as i16, u as i32, u as i64, u as i128, u as u8, u as u16, u as u32, u as u64, u as u128, u as scalar);
109      }
110  
111      transition u32_casts(u: u32) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
112          return (u as address, u as bool, u as field, u as group, u as i8, u as i16, u as i32, u as i64, u as i128, u as u8, u as u16, u as u32, u as u64, u as u128, u as scalar);
113      }
114  
115      transition u64_casts(u: u64) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
116          return (u as address, u as bool, u as field, u as group, u as i8, u as i16, u as i32, u as i64, u as i128, u as u8, u as u16, u as u32, u as u64, u as u128, u as scalar);
117      }
118  
119      transition u128_casts(u: u128) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
120          return (u as address, u as bool, u as field, u as group, u as i8, u as i16, u as i32, u as i64, u as i128, u as u8, u as u16, u as u32, u as u64, u as u128, u as scalar);
121      }
122  
123      transition scalar_cast(s: scalar) -> (address, bool, field, group, i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, scalar) {
124          return (s as address, s as bool, s as field, s as group, s as i8, s as i16, s as i32, s as i64, s as i128, s as u8, s as u16, s as u32, s as u64, s as u128, s as scalar);
125      }
126  
127      @noupgrade
128      async constructor() {}
129  }
130  
131  
132  
133