for_bounds.sail « for_bounds « ocaml « test - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/test/ocaml/for_bounds/for_bounds.sail

blob: a7388a85bec46cb0c80ea5f34d50073c871d6a61 (plain)

val main : unit -> unit
function main () = {
  foreach(i from 0 to 3) {
    print_int("i=", i);
  }
}