From: drh <>
Date: Wed, 15 Jun 2022 12:50:51 +0000 (+0000)
Subject: Add the --query-invariants option to fuzzcheck.  No changes to the SQLite core.
X-Git-Tag: version-3.39.0~33
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=516c85026b5cbac832a9a651f46d3796e62b4336;p=thirdparty%2Fsqlite.git

Add the --query-invariants option to fuzzcheck.  No changes to the SQLite core.

FossilOrigin-Name: fef282f9fbb10967102f9676d85b8c6a3b36aff7109f1becdaeaeddef0dff4f1
---

516c85026b5cbac832a9a651f46d3796e62b4336
diff --cc manifest
index 89dd2516ec,25443802c0..fbd67a553a
--- a/manifest
+++ b/manifest
@@@ -1,5 -1,5 +1,5 @@@
- C Dbsqlfuzz\sdiscovered\sa\scase\swhere\sa\sbytecode\sbranch\sis\sin\sfact\staken,\sso\schange\nthe\sdesignator\sfrom\sVdbeCoverageNeverTaken()\sto\sVdbeCoverage().\s\sTest\scase\nin\sTH3.
- D 2022-06-15T12:32:27.651
 -C Add\sthe\s--query-invariants\sflag\sto\sfuzzcheck.\s\sThe\squery\sinvariant\schecks\sare\nonly\srun\sif\sthat\sflag\sis\senabled.
 -D 2022-06-15T10:46:52.101
++C Add\sthe\s--query-invariants\soption\sto\sfuzzcheck.\s\sNo\schanges\sto\sthe\sSQLite\score.
++D 2022-06-15T12:50:51.305
  F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
  F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
  F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@@ -1976,8 -1977,8 +1977,9 @@@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a9
  F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
  F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
  F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
- P 0e925654c24774933c7738c68f704b229c68e18c8baa45f506b8d6f09164d0d8
- R fc77c0f7235368cab2eb46c215200d7e
 -P e039820418d64fb57cb1a8f9f21186284e6c76255a53445c5d7aef6cca89bfc4
 -R 64f031e2d80a57df90e414f608a2f784
++P 988a2a759f2b9da0e287e65306039b7a3e2b5aac3d31fe15cbb30d30ea6caf71 d13b4621291831ff33cc4a8d53653eaa3f59fecf2fbc5d404db17e33a914495d
++R 954f4b32b5c4881e57e563fd72566597
++T +closed d13b4621291831ff33cc4a8d53653eaa3f59fecf2fbc5d404db17e33a914495d
  U drh
- Z 28b980d024414557764b901ec0487955
 -Z 1f191fe35494b511dfe1ea17486123d5
++Z 50169eb96e3eb3e12f6092ce44911480
  # Remove this line to create a well-formed Fossil manifest.
diff --cc manifest.uuid
index d66183a4a0,936d5f0f22..59bc798104
--- a/manifest.uuid
+++ b/manifest.uuid
@@@ -1,1 -1,1 +1,1 @@@
- 988a2a759f2b9da0e287e65306039b7a3e2b5aac3d31fe15cbb30d30ea6caf71
 -d13b4621291831ff33cc4a8d53653eaa3f59fecf2fbc5d404db17e33a914495d
++fef282f9fbb10967102f9676d85b8c6a3b36aff7109f1becdaeaeddef0dff4f1