kc3-lang/kc3/test/ic3/array.out.expected

• Show log

  Commit

• Hash : 216bb251
  Author : Thomas de Grivel
  Date : 2023-11-03T16:31:26
  

  show supported systems in README.md, fix tests

Download

• test/ic3/array.out.expected

• (U8) {0, 1}
  (U8) {0, 1}
  a[0]
  a[1]
  0
  1
  (U8) {{0, 1}, {2, 3}}
  (U8) {{0, 1}, {2, 3}}
  b[0][0]
  b[0][1]
  b[1][0]
  b[1][1]
  0
  1
  2
  3
  (U8) {{{0, 1}, {2, 3}}, {{4, 5}, {6, 7}}}
  c[0][0][0]
  c[0][0][1]
  c[0][1][0]
  c[0][1][1]
  c[1][0][0]
  c[1][0][1]
  c[1][1][0]
  c[1][1][1]
  0
  1
  2
  3
  4
  5
  6
  7
  (U8) {{{{0, 1}, {2, 3}}, {{4, 5}, {6, 7}}}, {{{8, 9}, {10, 11}}, {{12, 13}, {14, 15}}}}
  d[0][0][0][0]
  d[0][0][0][1]
  d[0][0][1][0]
  d[0][0][1][1]
  d[0][1][0][0]
  d[0][1][0][1]
  d[0][1][1][0]
  d[0][1][1][1]
  d[1][0][0][0]
  d[1][0][0][1]
  d[1][0][1][0]
  d[1][0][1][1]
  d[1][1][0][0]
  d[1][1][0][1]
  d[1][1][1][0]
  d[1][1][1][1]
  0
  1
  2
  3
  4
  5
  6
  7
  8
  9
  10
  11
  12
  13
  14
  15
  (U8) {2}
  2
  (U8) {2, 4}
  2
  4
  (U8) {2, 4, 6}
  2
  4
  6
  (U8) {0, 1, 2}
  0
  1
  2
  (U16) {256, 257, 258}
  256
  257
  258
  (U32) {256, 257, 258}
  256
  257
  258
  (U64) {256, 257, 258}
  256
  257
  258
  (Integer) {1000000000000000000000000000000001, 2000000000000000000000000000000002}
  (Integer) {1000000000000000000000000000000001, 2000000000000000000000000000000002}
  1000000000000000000000000000000001
  2000000000000000000000000000000002
  (List) {(1, 2), (3, 4)}
  (List) {(1, 2), (3, 4)}
  (List) {(1, 2), (3, 4)}
  (1, 2)
  (3, 4)
  

Download