Tracer's gallery: PacMan game
From WeizmannWiki
Revision as of 11:47, 18 October 2010 by Shahar.maoz (Talk | contribs)
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:
