test/c/config_register.sail


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

default Order dec

$include <prelude.sail>

function zeros forall 'n. (() : unit) -> bits('n) = {
  sail_zeros('n)
}

register configuration R : bits(32) = zeros()

register S : bits(32)

function main(() : unit) -> unit = {
    R = zeros();
    print_bits("R = ", R)
}