Find trace to an invariant violation

Description

Given a list of transitions between two hashcodes, find a trace to the invariant vioaltion.

Environment

None

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major