Closed
Bug 554473
Opened 14 years ago
Closed 14 years ago
Selftest needs to quote strings that goes into verifyPass calls
Categories
(Tamarin Graveyard :: Tools, defect, P2)
Tamarin Graveyard
Tools
Tracking
(Not tracked)
VERIFIED
FIXED
flash10.1
People
(Reporter: lhansen, Assigned: lhansen)
References
Details
(Whiteboard: Has patch)
Attachments
(1 file)
|
645 bytes,
patch
|
edwsmith
:
review+
|
Details | Diff | Splinter Review |
The selftest generator does not quote strings in %%verify expressions, leading to compilation errors. The obvious fix is to implement quoting.
Attachment #434371 -
Flags: review?(edwsmith)
|
Assignee | |
Updated•14 years ago
|
Whiteboard: Has patch
|
||
Updated•14 years ago
|
Attachment #434371 -
Flags: review?(edwsmith) → review+
|
|
Assignee | |
Comment 1•14 years ago
|
||
tamarin-redux-argo changeset: 3860:9473ca876eb8 tamarin-redux changeset: 4142:0c3826239671
Status: ASSIGNED → RESOLVED
Closed: 14 years ago
Resolution: --- → FIXED
|
|
Assignee | |
Updated•14 years ago
|
|
||
Updated•14 years ago
|
Status: RESOLVED → VERIFIED
You need to log in
before you can comment on or make changes to this bug.
Description
•