summaryrefslogtreecommitdiffstats
path: root/test/quickcheck.test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--test/quickcheck.test33
1 files changed, 33 insertions, 0 deletions
diff --git a/test/quickcheck.test b/test/quickcheck.test
new file mode 100644
index 0000000..18c42a1
--- /dev/null
+++ b/test/quickcheck.test
@@ -0,0 +1,33 @@
+# 2023 January 28
+#
+# 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.
+#
+#***********************************************************************
+#
+
+set testdir [file dirname $argv0]
+source $testdir/tester.tcl
+set testprefix quickcheck
+
+do_execsql_test 1.0 {
+ CREATE TABLE t1(
+ a INTEGER NOT NULL, b INTEGER NOT NULL, c AS (a+1),
+ PRIMARY KEY(b, a)
+ ) WITHOUT ROWID;
+
+ INSERT INTO t1 VALUES(1, 2);
+ INSERT INTO t1 VALUES(3, 4);
+}
+
+do_execsql_test 1.1 {
+ PRAGMA quick_check
+} {
+ ok
+}
+
+finish_test