Difference between revisions of "Tracer's gallery: PacMan game"
From WeizmannWiki
Shahar.maoz (Talk | contribs) (New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a public...) |
Shahar.maoz (Talk | contribs) |
||
| (One intermediate revision by one user not shown) | |||
| Line 2: | Line 2: | ||
Main view and overview: | Main view and overview: | ||
| + | |||
[[Image: mainviewandoverview.PNG]] | [[Image: mainviewandoverview.PNG]] | ||
Filters: | Filters: | ||
| − | [[Image: | + | |
| + | [[Image: filters.PNG]] | ||
Multiplicity: | Multiplicity: | ||
| − | [[Image: | + | |
| + | [[Image: multiplicity.PNG]] | ||
Comparing traces: | Comparing traces: | ||
| − | [[Image: | + | |
| + | [[Image: comparemainview.PNG]] | ||
Completion information: | Completion information: | ||
| − | [[Image: | + | |
| + | [[Image: completioninfo.PNG]] | ||
Event-normalized view: | Event-normalized view: | ||
| − | [[Image: | + | |
| + | [[Image: eventnormalized.PNG]] | ||
Latest revision as of 11:50, 18 October 2010
The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a publicly available Java implementation of the classic PacMan game.
Main view and overview:
Filters:
Multiplicity:
Comparing traces:
Completion information:
Event-normalized view:
