Closed Bug 509736 Opened 15 years ago Closed 15 years ago

Prepare runtests.py and testsuite for ATS export

Categories

(Tamarin Graveyard :: Tools, enhancement)

enhancement
Not set
normal

Tracking

(Not tracked)

VERIFIED FIXED

People

(Reporter: cpeyer, Unassigned)

References

Details

Attachments

(1 file)

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)
Attachment #393806 - Flags: review?(dschaffe) → review+
pushed to tr with 2344:270e257e925b
Status: NEW → RESOLVED
Closed: 15 years ago
Resolution: --- → FIXED
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: