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, bitvector('n, dec)) -> unit

val main : unit -> unit

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