Changeset d10e391 for tests/test.py
- Timestamp:
- Jun 20, 2023, 2:18:59 PM (2 years ago)
- Branches:
- master
- Children:
- 70d8e2f2, adc73a5
- Parents:
- b065dbb (diff), 2fd4cea (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/test.py
rb065dbb rd10e391 115 115 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_') 116 116 parser.add_argument('--invariant', help='Tell the compiler to check invariants.', action='store_true') 117 parser.add_argument('--no-invariant', help='Tell the compiler not to check invariant .', action='store_false')117 parser.add_argument('--no-invariant', help='Tell the compiler not to check invariants.', action='store_false') 118 118 parser.add_argument('--timeout', help='Maximum duration in seconds after a single test is considered to have timed out', type=int, default=180) 119 119 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)
Note:
See TracChangeset
for help on using the changeset viewer.