Tracer should replay a trace in ProB

Description

Right now, it only generates a list of hash codes

Environment

None

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major