annotate caching-tests/test.urs @ 2298:6e580e319077
Fix condition for installing new cache entries
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Thu, 19 Nov 2015 16:02:04 -0500 |
| parents |
f8903af753ff |
| children |
|
| rev |
line source |
|
ziv@2213
|
1 val cache : int -> transaction page
|
|
ziv@2294
|
2 (* val cacheAlt : int -> transaction page *)
|
|
ziv@2294
|
3 (* val cacheR : {Id : int, FooBar : int} -> transaction page *)
|
|
ziv@2275
|
4 (* val cache2 : int -> int -> transaction page *)
|
|
ziv@2213
|
5 val flush : int -> transaction page
|
|
ziv@2294
|
6 (* val flash : int -> transaction page *)
|
|
ziv@2294
|
7 (* val floosh : int -> transaction page *)
|
|
ziv@2275
|
8 (* val flush17 : transaction page *)
|
