test/quickcheck.test

   1 # 2023 January 28
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   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.
   9 #
  10 #***********************************************************************
  11 #
  12
  13 set testdir [file dirname $argv0]
  14 source $testdir/tester.tcl
  15 set testprefix quickcheck
  16
  17 do_execsql_test 1.0 {
  18   CREATE TABLE t1(
  19     a INTEGER NOT NULL, b INTEGER NOT NULL, c AS (a+1),
  20     PRIMARY KEY(b, a)
  21   ) WITHOUT ROWID;
  22
  23   INSERT INTO t1 VALUES(1, 2);
  24   INSERT INTO t1 VALUES(3, 4);
  25 }
  26
  27 do_execsql_test 1.1 {
  28   PRAGMA quick_check
  29 } {
  30   ok
  31 }
  32
  33 finish_test