Tracer's gallery: PacMan game

From WeizmannWiki
Revision as of 13:47, 18 October 2010 by Shahar.maoz (Talk | contribs)

Jump to: navigation, search

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: Mainviewandoverview.PNG

Filters: Filters.PNG

Multiplicity: Multiplicity.PNG

Comparing traces: Comparemainview.PNG

Completion information: Completioninfo.PNG

Event-normalized view: Eventnormalized.PNG