view caching-tests/test.urs @ 2224:5709482a2afd

Merge.
author Ziv Scully <ziv@mit.edu>
date Thu, 11 Dec 2014 02:05:41 -0500
parents 278e10629ba1
children 6262dabc08d6
line wrap: on
line source
val cache01 : unit -> transaction page
(* val cache10 : unit -> transaction page *)
(* val cache11 : unit -> transaction page *)
val flush01 : unit -> transaction page
(* val flush10 : unit -> transaction page *)
(* val flush11 : unit -> transaction page *)
val cache : int -> transaction page
val flush : int -> transaction page