Closed
Bug 509736
Opened 16 years ago
Closed 16 years ago
Prepare runtests.py and testsuite for ATS export
Categories
(Tamarin Graveyard :: Tools, enhancement)
Tamarin Graveyard
Tools
Tracking
(Not tracked)
VERIFIED
FIXED
People
(Reporter: cpeyer, Unassigned)
References
Details
Attachments
(1 file)
|
42.97 KB,
patch
|
dschaffe
:
review+
|
Details | Diff | Splinter Review |
The attached patch contains the following:
- Add the ats_skip parameter to testconfig to skip export of certain tests
- Add skip reason to runtests runs
- Update a multitude of tests to use the test harness (instead of just reporting pass/fail to stdout)
- ignore ATS_SWFS dir in .hgignore
Attachment #393806 -
Flags: review?(dschaffe)
|
||
Updated•16 years ago
|
Attachment #393806 -
Flags: review?(dschaffe) → review+
|
Reporter | |
Comment 1•16 years ago
|
||
pushed to tr with 2344:270e257e925b
Status: NEW → RESOLVED
Closed: 16 years ago
Resolution: --- → FIXED
|
|
Reporter | |
Updated•16 years ago
|
Status: RESOLVED → VERIFIED
You need to log in
before you can comment on or make changes to this bug.
Description
•