Changeset 950c58e for tests/test.py

Timestamp:

Sep 1, 2023, 11:16:09 AM (10 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

4c0fa03

Parents:

2a301ff

Message:

The invariant flags on the test script were set up incorrectly. They should do as documented now and be on by default now.

File:

• tests/test.py (modified) (1 diff)

tests/test.py

@@ -114 +114 @@
         parser.add_argument('--install', help='Run all tests based on installed binaries or tree binaries', type=comma_separated(yes_no), default='no')
         parser.add_argument('--continue', help='When multiple specifications are passed (debug/install/arch), sets whether or not to continue if the last specification failed', type=yes_no, default='yes', dest='continue_')
-        parser.add_argument('--invariant', help='Tell the compiler to check invariants.', action='store_true')
-        parser.add_argument('--no-invariant', help='Tell the compiler not to check invariants.', action='store_false')
+        parser.add_argument('--no-invariant', help='Tell the compiler not to check invariants.', action='store_false', dest='invariant')
+        parser.add_argument('--invariant', help='Tell the compiler to check invariants.', action='store_const', const=True)
         parser.add_argument('--timeout', help='Maximum duration in seconds after a single test is considered to have timed out', type=int, default=180)
         parser.add_argument('--global-timeout', help='Maximum cumulative duration in seconds after the ALL tests are considered to have timed out', type=int, default=7200)