Tracer's gallery: PacMan game

From WeizmannWiki
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

Retrieved from "https://wiki.weizmann.ac.il/playgo/index.php?title=Tracer%27s_gallery:_PacMan_game&oldid=259"