Closed Bug 731161 Opened 14 years ago Closed 7 years ago

Migrate runtests.py -verify mode to use abcdis

Categories

(Tamarin Graveyard :: Tools, defect)

Product:
Tamarin Graveyard
Component:
Tools
Platform:
x86
macOS
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED WONTFIX

People

(Reporter: brbaker, Unassigned)

References

Details

Currently the -verify mode of the acceptance runtests.py with run a testcase with the -verify switch and compare the output with that of abcdump. This will need to be modified to use abcdis as it will be the new replacement for abcdump.
Tamarin isn't maintained anymore. WONTFIX remaining bugs.
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → WONTFIX
You need to log in before you can comment on or make changes to this bug.