test_epilogue.sail « lib « test « src - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/src/test/lib/test_epilogue.sail

blob: 434b8a95dcbd3eb4a26da3aa44bd9f6bac3c612f (plain)

(* TranslateAddress compatible "main" function *)
function (bit[64]) run ((bit[64]) x) = {
  test();
  return 0;
}