test/c/bv_literal.sail


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

default Order dec

val "print_bits" : forall 'n. (string, vector('n, dec, bit)) -> unit

val main : unit -> unit

function main () = {
  let x : bit = bitone;
  let y : vector(4, dec, bit) = [x, bitone, bitzero, x];
  print_bits("y = ", y);
}