changeset 2242:200a7ed4343b

Add parameterless query to caching test.
author Ziv Scully <ziv@mit.edu>
date Sun, 19 Jul 2015 19:12:50 -0700
parents 2b1af5dc6dee
children da7d026d1a94
files caching-tests/test.ur caching-tests/test.urp caching-tests/test.urs
diffstat 3 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/caching-tests/test.ur	Sun Jul 19 19:05:16 2015 -0700
+++ b/caching-tests/test.ur	Sun Jul 19 19:12:50 2015 -0700
@@ -19,6 +19,14 @@
       Changed {[id]}!
     </body></xml>
 
+val flush17 =
+    dml (UPDATE tab
+         SET Val = Val * (Id + 2) / Val - 3
+         WHERE Id = 17);
+    return <xml><body>
+      Changed specifically 17!
+    </body></xml>
+
 (* fun flush id = *)
 (*     res <- oneOrNoRows (SELECT tab.Val *)
 (*                         FROM tab *)
--- a/caching-tests/test.urp	Sun Jul 19 19:05:16 2015 -0700
+++ b/caching-tests/test.urp	Sun Jul 19 19:12:50 2015 -0700
@@ -1,5 +1,6 @@
 database test.db
 sql test.sql
 safeGet Test/flush
+safeGet Test/flush17
 
 test
--- a/caching-tests/test.urs	Sun Jul 19 19:05:16 2015 -0700
+++ b/caching-tests/test.urs	Sun Jul 19 19:12:50 2015 -0700
@@ -1,2 +1,3 @@
 val cache : int -> transaction page
 val flush : int -> transaction page
+val flush17 : transaction page