Index: openacs-4/packages/acs-tcl/tcl/test/tcl-documentation-procs.tcl
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/acs-tcl/tcl/test/tcl-documentation-procs.tcl,v
diff -u -r1.1.2.1 -r1.1.2.2
--- openacs-4/packages/acs-tcl/tcl/test/tcl-documentation-procs.tcl	14 Jul 2022 13:31:29 -0000	1.1.2.1
+++ openacs-4/packages/acs-tcl/tcl/test/tcl-documentation-procs.tcl	14 Jul 2022 14:36:21 -0000	1.1.2.2
@@ -17,6 +17,7 @@
         ad_page_contract work as expected.
 
     } {
+        aa_section "Valid specs"
         foreach {spec expected_name expected_flags} {
             w:oneof(red|green)
             w
@@ -52,9 +53,16 @@
             aa_equals "flags for spec '$spec' OK" $expected_flags [lindex $r 1]
         }
 
+        aa_section "Invalid specs"
         foreach spec {
+            w::a
+
+            w::
+
             w:oneof(red|green))
 
+            w:notnull,,integer
+
             "my_page_parameter)"
 
             "my_page_parameter:(integer"
@@ -64,6 +72,7 @@
             } errmsg]
         }
 
+        aa_section "Spec flags"
         foreach {flags flags_list} {
             oneof(red|green)
             oneof(red|green)
@@ -93,6 +102,7 @@
             aa_equals "Parsing flags '$flags' OK" $flags_list $r
         }
 
+        aa_section "Spec flag parameters"
         foreach {flag_parameters flag_parameters_list} {
             red|green
             {red green}