Add an extra constraint to the test-script-interpreter.md spec.

FossilOrigin-Name: 7a07863e082664da2efcf4ecd36785d2583abbda12526cdb643cf1aa0568292e

diff --git a/ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md b/ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md
index d87ce4494a4740f46b04048dd71d2ccfe630b02f..95220ed59ca4a6598e20d083fb588373d2d3665a 100644 (file)
--- a/ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md
+++ b/ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md
@@ -34,24 +34,30 @@ script are deleted when the script finishes.
        processing may continue.  The "MODULE_NAME" checking in steps 2 and 3
        may optionally be discontinued after sighting a "SCRIPT_MODULE_NAME".
 
-  4.   If any line begins with the "\|" (0x7c) character, that indicates that
+  4.   If any line contains "REQUIRED_PROPERTIES:" and that substring is followed
+       by any non-whitespace text, then the script is not compatible with this
+       spec.  Processing should stop immediately.  In verbose mode, the
+       interpreter might choose to emit an information message saying that the
+       test script was abandoned due to unsupported requirement properties.
+
+  5.   If any line begins with the "\|" (0x7c) character, that indicates that
        the input script is not compatible with this specification.  Processing
        of the script should stop immediately.  In verbose mode, the interpreter
        might choose to emit an informational message indicating that the
        test script was abandoned because it contained "a dbtotxt format database
        specification".
 
-  5.   Any line that begins with "#" is a C-preprocessor line.  The interpreter
+  6.   Any line that begins with "#" is a C-preprocessor line.  The interpreter
        described by this spec does not know how to deal with C-preprocessor lines.
        Hence, processing should be abandoned.  In verbose mode, the interpreter
        might emit an informational message similar to
        "script NAME abandoned due to C-preprocessor line: ..."
 
-  6.   If a line begins with exactly two minus signs followed by a
+  7.   If a line begins with exactly two minus signs followed by a
        lowercase letter, that is a command.  Process commands as described
        below.
 
-  7.   All other lines should be accumulated into the "input buffer".
+  8.   All other lines should be accumulated into the "input buffer".
        The various commands will have access to this input buffer.
        Some commands will reset the buffer.
 

diff --git a/manifest b/manifest
index ee605046b600f2c5758638ab1b464e31a6f066b8..95f62e5064cbcb371359d43a6634ca044d274c5b 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C SQLTester\s--result\scommand:\sdo\snot\sdouble-{}-wrap\serror\smessages\sand\sdo\snot\sthrow\son\sdb\serror.
-D 2023-08-09T17:23:52.643
+C Add\san\sextra\sconstraint\sto\sthe\stest-script-interpreter.md\sspec.
+D 2023-08-09T17:47:34.119
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -268,7 +268,7 @@ F ext/jni/src/org/sqlite/jni/sqlite3_value.java 3d1d4903e267bc0bc81d57d21f5e8597
 F ext/jni/src/org/sqlite/jni/tester/Outer.java b06acf9c79e8dbc8fea4a98b00724a6a76e3ee4503eb114671d2885f8fb3df8b
 F ext/jni/src/org/sqlite/jni/tester/SQLTester.java 0869fa25e32295e1742e0ab4c2f20e25e47ab5f6d520ab31b7ea075249781548
 F ext/jni/src/org/sqlite/jni/tester/TestScript.java 14f6e5df11b0d0f1357e72c0588171589583cbb8cf212b739d202ea17fdaada7
-F ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md 44449866970341076cec355193f89646825270a2f4f4073b55150cc4a55100d4
+F ext/jni/src/org/sqlite/jni/tester/test-script-interpreter.md ab7169b08566a082ef55c9ef8a553827f99958ed3e076f31eef757563fae51ba
 F ext/jni/src/tests/000_first.test cd5fb732520cf36d7a3e5ad94a274c7327a9504b01a1a7f98e1f946df6c539fd
 F ext/jni/src/tests/010_ignored.test e17e874c6ab3c437f1293d88093cf06286083b65bf162317f91bbfd92f961b70
 F ext/lsm1/Makefile a553b728bba6c11201b795188c5708915cc4290f02b7df6ba7e8c4c943fd5cd9
@@ -2090,8 +2090,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P f15ecb68f7ca129478336b462508d2c40ea052b4040facefdbc67b13e6aea99d
-R 4f9539ed3a0acc150188dac846fdb1dc
-U stephan
-Z 5640a00c9dc31396afba95f58c2ebdf5
+P f7be20f5a62f8970f957e5c3a1d1c6536995df5c078dbac34a44f09682e43945
+R 70c20d78683e221888f80b9ab49a4671
+U drh
+Z f9e5e74163f97c2d031b2bb412396edf
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index 1a8ba853690cfa30b4655a16fb5bea20e54015bd..e622c3f2f541e5eb503e17988c7de0a27f7499d1 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-f7be20f5a62f8970f957e5c3a1d1c6536995df5c078dbac34a44f09682e43945
\ No newline at end of file
+7a07863e082664da2efcf4ecd36785d2583abbda12526cdb643cf1aa0568292e
\ No newline at end of file