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: File:Example.jpg

Filters: File:Example.jpg

Multiplicity: File:Example.jpg

Comparing traces: File:Example.jpg

Completion information: File:Example.jpg

Event-normalized view: File:Example.jpg