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...) |
(No difference)
|
Revision as of 11:35, 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: File:Example.jpg
Multiplicity: File:Example.jpg
Comparing traces: File:Example.jpg
Completion information: File:Example.jpg
Event-normalized view: File:Example.jpg
