Closed
Bug 606031
Opened 15 years ago
Closed 15 years ago
Interpreter verbose output to match style of Verifier
Categories
(Tamarin Graveyard :: Interpreter, defect)
Tamarin Graveyard
Interpreter
Tracking
(Not tracked)
RESOLVED
FIXED
People
(Reporter: rreitmai, Unassigned)
References
Details
(Whiteboard: fixed-in-tamarin)
Attachments
(1 file)
|
2.69 KB,
patch
|
pnkfelix
:
review+
lhansen
:
superreview+
|
Details | Diff | Splinter Review |
Currently verbose output from the interpreter contains a separate line for stack, scopes and locals. The verifier output uses uses a single line to convey the same information.
|
Reporter | |
Updated•15 years ago
|
Attachment #484882 -
Attachment is patch: true
Attachment #484882 -
Attachment mime type: application/octet-stream → text/plain
|
|
Reporter | |
Updated•15 years ago
|
Attachment #484882 -
Flags: superreview?(lhansen)
Attachment #484882 -
Flags: review?(fklockii)
|
|
Reporter | |
Updated•15 years ago
|
Blocks: tamarin-debugging
|
||
Comment 1•15 years ago
|
||
Comment on attachment 484882 [details] [diff] [review]
v1
Nice. Seeing the output of -Dverbose=verify and -Dverbose=interp side-by-side makes me realize that I need to start playing around with -Dverbose more often. :)
Attachment #484882 -
Flags: review?(fklockii) → review+
|
||
Comment 2•15 years ago
|
||
for the sake of completeness, should the wordcode output be changed too?
|
||
Comment 3•15 years ago
|
||
Comment on attachment 484882 [details] [diff] [review]
v1
Wordcode fixes can be a low-pri followup item (separate bug probably).
Attachment #484882 -
Flags: superreview?(lhansen) → superreview+
|
|
Reporter | |
Comment 4•15 years ago
|
||
Status: NEW → RESOLVED
Closed: 15 years ago
Resolution: --- → FIXED
Whiteboard: fixed-in-tamarin
You need to log in
before you can comment on or make changes to this bug.
Description
•