Changeset 090b076 for tests

Timestamp:

Feb 5, 2025, 1:00:57 PM (8 weeks ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

92aeae1

Parents:

332e93a

Message:

Expand and update comments re testing instrucions

Location:

tests/array-collections

Files:

• dimexpr-match-detail.sh (modified) (2 diffs)
• dimexpr-match.hfa (modified) (2 diffs)

tests/array-collections/dimexpr-match-detail.sh ¶

@@ -2 +2 @@
 # This script helps you run the dimexpr-match test manually, in a more thorough fashion.
 # test.py runs do not use this script.
+
+# When a test.py run shows that an output has changed, use this script for verification, before running --regenerate-expected.
+# Particularly with -ERRS, we don't actually care what the error message is (likely source of noise requiring --regenerate-expected), just that all the should-reject cases are rejected (which this script shows).
+
+# Success means the script does not print "TEST FAILURE."
+# Expect one large output with a mix of "done" and "skip" messages.  That is the acceptance cases.
+# Then expect many small outputs all showing rc=1.  These are the rejection cases.
 
 # The thoroughness that this script affords is
@@ -8 +15 @@
 #   - observing the behaviour of a compiler other than the CFACC version in whose folder the test occurs; for example, GCC
 
-# usage (one of)
-#   ./dimexpr-match-detail.sh '/u0/mlbrooks/cfa2/build-straw3/driver/cfa -DCFA_PREVIEW_FUNCTIONALITY'
+# usage examples
+#   ./dimexpr-match-detail.sh cfa
+#   ./dimexpr-match-detail.sh      # same as above
 #   ./dimexpr-match-detail.sh ~/cfa6/build/driver/cfa
+#   ./dimexpr-match-detail.sh "$cfa -m32 -nodebug"
 #   ./dimexpr-match-detail.sh 'gcc -x c'
-
 
 

tests/array-collections/dimexpr-match.hfa ¶

@@ -2 +2 @@
 
 //  Framework for the dimexpr-match tests.
+//
+//  For general test-suite maintenance instrutions, see *-detail.sh.
 //
 //  These tests show whether an expression of type like `float (*)[25]`
@@ -181 +183 @@
     - reject STA/non-STA crossing
 
-CFA rules ("preview" only)
+CFA rules
     - accept a pair from group STA if it has the same value
     - accept a pair from group DYN if it is written out the same (e.g. refers to same variable)