src/test/vectors.sail


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

let (bit[32]) v = 0b101
register (bit[32]) i

function unit main _ = {

  i := [bitzero, bitzero, bitone, bitzero];
  i := 0b101 ;
  (* unbound identifier *)
  i[0] := bitzero;
  (* unbound identifier *)
  v[0];


}