annotate caching-tests/test.urs @ 2283:4afaab523213
Initialize invalidation to NULL!
| author |
Ziv Scully <ziv@mit.edu> |
| date |
Thu, 12 Nov 2015 10:06:07 -0500 |
| parents |
c05f9a5e0f0f |
| children |
f8903af753ff |
| rev |
line source |
|
ziv@2213
|
1 val cache : int -> transaction page
|
|
ziv@2276
|
2 val cacheR : {Id : int, FooBar : int} -> transaction page
|
|
ziv@2275
|
3 (* val cache2 : int -> int -> transaction page *)
|
|
ziv@2213
|
4 val flush : int -> transaction page
|
|
ziv@2275
|
5 val flash : int -> transaction page
|
|
ziv@2275
|
6 val floosh : int -> transaction page
|
|
ziv@2275
|
7 (* val flush17 : transaction page *)
|
