diff options
author | Ziv Scully <ziv@mit.edu> | 2014-03-25 02:04:06 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2014-03-25 02:04:06 -0400 |
commit | 93d6de491838eb3607a12686bfdc250366aa60e4 (patch) | |
tree | 2da01b66e562296fe3720e6fcfdee0311bb7d077 /caching-tests/test.urs | |
parent | 0e1252d5a6330570df698df924a0554b688042e8 (diff) |
ML half of initial prototype. (Doesn't compile because there's no C yet.)
Diffstat (limited to 'caching-tests/test.urs')
-rw-r--r-- | caching-tests/test.urs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/caching-tests/test.urs b/caching-tests/test.urs new file mode 100644 index 00000000..ce7d0350 --- /dev/null +++ b/caching-tests/test.urs @@ -0,0 +1,6 @@ +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 |