--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/persistentstorage/sqlite3api/TEST/TclScript/crash4.test	Fri Jan 22 11:06:30 2010 +0200
@@ -0,0 +1,102 @@
+# 2008 January 8
+#
+# The author disclaims copyright to this source code.  In place of
+# a legal notice, here is a blessing:
+#
+#    May you do good and not evil.
+#    May you find forgiveness for yourself and forgive others.
+#    May you share freely, never taking more than you give.
+#
+#***********************************************************************
+#
+# This file contains additional tests to verify that SQLite database
+# file survive a power loss or OS crash.
+#
+# $Id: crash4.test,v 1.3 2008/01/16 17:46:38 drh Exp $
+
+set testdir [file dirname $argv0]
+source $testdir/tester.tcl
+
+ifcapable !crashtest {
+  finish_test
+  return
+}
+
+
+# A sequence of SQL commands:
+#
+set sql_cmd_list {
+  {CREATE TABLE a(id INTEGER, name CHAR(50))}
+  {INSERT INTO a(id,name) VALUES(1,'one')}
+  {INSERT INTO a(id,name) VALUES(2,'two')}
+  {INSERT INTO a(id,name) VALUES(3,'three')}
+  {INSERT INTO a(id,name) VALUES(4,'four')}
+  {INSERT INTO a(id,name) VALUES(5,'five')}
+  {INSERT INTO a(id,name) VALUES(6,'six')}
+  {INSERT INTO a(id,name) VALUES(7,'seven')}
+  {INSERT INTO a(id,name) VALUES(8,'eight')}
+  {INSERT INTO a(id,name) VALUES(9,'nine')}
+  {INSERT INTO a(id,name) VALUES(10,'ten')}
+  {UPDATE A SET name='new text for row 3' WHERE id=3}
+}
+
+# Assume that a database is created by evaluating the SQL statements
+# in $sql_cmd_list.  Compute a set of checksums that capture the state
+# of the database after each statement.  Also include a checksum for
+# the state of the database prior to any of these statements.
+#
+set crash4_cksum_set {}
+lappend crash4_cksum_set [allcksum db]
+foreach cmd $sql_cmd_list {
+  db eval $cmd
+  lappend crash4_cksum_set [allcksum db]
+}
+
+# Run the sequence of SQL statements shown above repeatedly.
+# Close and reopen the database right before the UPDATE statement.
+# On each repetition, introduce database corruption typical of
+# what might be seen in a power loss or OS crash.  
+#
+# Slowly increase the delay before the crash, repeating the test
+# over and over.  Stop testing when the entire sequence of SQL
+# statements runs to completing without hitting the crash.
+#
+for {set cnt 1; set fin 0} {!$fin} {incr cnt} {
+  db close
+  file delete -force test.db test.db-journal
+  do_test crash4-1.$cnt.1 {
+    set seed [expr {int(abs(rand()*10000))}]
+    set delay [expr {int($cnt/50)+1}]
+    set file [expr {($cnt&1)?"test.db":"test.db-journal"}]
+    set c [crashsql -delay $delay -file $file -seed $seed -tclbody {
+      db eval {CREATE TABLE a(id INTEGER, name CHAR(50))}
+      db eval {INSERT INTO a(id,name) VALUES(1,'one')}
+      db eval {INSERT INTO a(id,name) VALUES(2,'two')}
+      db eval {INSERT INTO a(id,name) VALUES(3,'three')}
+      db eval {INSERT INTO a(id,name) VALUES(4,'four')}
+      db eval {INSERT INTO a(id,name) VALUES(5,'five')}
+      db eval {INSERT INTO a(id,name) VALUES(6,'six')}
+      db eval {INSERT INTO a(id,name) VALUES(7,'seven')}
+      db eval {INSERT INTO a(id,name) VALUES(8,'eight')}
+      db eval {INSERT INTO a(id,name) VALUES(9,'nine')}
+      db eval {INSERT INTO a(id,name) VALUES(10,'ten')}
+      db close
+      sqlite3 db test.db
+      db eval {UPDATE A SET name='new text for row 3' WHERE id=3}
+      db close
+    } {}]
+    if {$c==[list 0 {}]} {
+      set ::fin 1
+      set c [list 1 {child process exited abnormally}]
+    }
+    set c
+  } {1 {child process exited abnormally}}
+  sqlite3 db test.db
+  integrity_check crash4-1.$cnt.2
+  do_test crash4-1.$cnt.3 {
+    set x [lsearch $::crash4_cksum_set [allcksum db]]
+    expr {$x>=0}
+  } {1}
+}
+
+finish_test