# HG changeset patch # User Ziv Scully # Date 1437358370 25200 # Node ID 200a7ed4343b1e677165bb0f803b0cbfdd0e5628 # Parent 2b1af5dc6dee48a67c09129ce845f4fc7e4ee4b9 Add parameterless query to caching test. diff -r 2b1af5dc6dee -r 200a7ed4343b caching-tests/test.ur --- 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]}! +val flush17 = + dml (UPDATE tab + SET Val = Val * (Id + 2) / Val - 3 + WHERE Id = 17); + return + Changed specifically 17! + + (* fun flush id = *) (* res <- oneOrNoRows (SELECT tab.Val *) (* FROM tab *) diff -r 2b1af5dc6dee -r 200a7ed4343b caching-tests/test.urp --- 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 diff -r 2b1af5dc6dee -r 200a7ed4343b caching-tests/test.urs --- 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