test/c/gvectorlit.sail


1
2
3
4
5
6
7
8
9
10
11
12

default Order dec

$include <vector_dec.sail>

val main : unit -> unit

function main() = {
  let x : vector(2, dec, bits(8)) = [0xAB, 0xCD];
  print_bits("x[0] = ", x[0]);
  print_bits("x[1] = ", x[1]);
}