blob: e51c69ec4daf6c52afbd79243c327e6722c7e8af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
default Order dec
$include <vector_dec.sail>
$include <string.sail>
val main : unit -> unit
function main () = {
let x1 = 0xffffffffffffffff;
let x2 : int = unsigned(x1);
let x3 : int = if false then signed(x1) else unsigned(x1);
print_int("x2:", x2);
print_int("x3:", x3);
}
|
