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) |
||
| Line 5: | Line 5: | ||
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]] |
Revision as of 11:47, 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:
