The first assert() added in [0ebc65481f4a3e79] is not necessarily true in a
[sqlite.git] / test / dataversion1.test
blob55f7aada0c6f7026612cb3f62eab9111155ed375
1 # 2018-07-18
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
6 #    May you do good and not evil.
7 #    May you find forgiveness for yourself and forgive others.
8 #    May you share freely, never taking more than you give.
10 #***********************************************************************
12 # Test case for SQLITE_FCNTL_DATA_VERSION
15 set testdir [file dirname $argv0]
16 source $testdir/tester.tcl
18 # Construct a database and get its initial data version
19 sqlite3 db test.db
20 do_test dataversion1-100 {
21   db eval {
22     CREATE TABLE t1(x);
23     INSERT INTO t1(x) VALUES(99);
24     SELECT * FROM t1;
25   }
26 } {99}
27 set dv1 [file_control_data_version db main]
29 # The data version does not change by ATTACH or by changes to
30 # other schemas within the same connection.
32 do_test dataversion1-101 {
33   db eval {
34     ATTACH ':memory:' AS aux1;
35     CREATE TABLE aux1.t2(y);
36     CREATE TEMP TABLE t3(z);
37   }
38   file_control_data_version db main
39 } $dv1
41 # The data version does change when SQL modifies the table
42 do_test dataversion1-110 {
43   db eval {
44     UPDATE t1 SET x=x+1;
45   }
46   set dv2 [file_control_data_version db]
47   expr {$::dv1==$dv2}
48 } {0}
50 # But the data version is constant if there are changes to other
51 # schemas
52 set dv1 [file_control_data_version db main]
53 do_test dataversion1-120 {
54   db eval {
55     UPDATE t2 SET y=y+1;
56   }
57   file_control_data_version db
58 } $dv1
60 # Changes to the database via another connection are not detected
61 # until there is a read transaction.
63 sqlite3 db2 test.db
64 do_test dataversion1-130 {
65   db2 eval {
66     SELECT * FROM t1
67   }
68 } {100}
69 do_test dataversion1-131 {
70   file_control_data_version db
71 } $dv1
72 do_test dataversion1-132 {
73   db2 eval {
74     UPDATE t1 SET x=x+1;
75   }
76   set dv2 [file_control_data_version db]
77   expr {$::dv1==$dv2}
78 } {1}
79 do_test dataversion1-133 {
80   db eval {SELECT * FROM t1}
81   set dv2 [file_control_data_version db]
82   expr {$::dv1==$dv2}
83 } {0}
86    
87 finish_test