Skip to content

Add reference to parent state

Mathieu Laurent requested to merge Mwapl/simgrid:master into master

To better support sleep-set reduction, and in order to implement guided model-checking algorithms, states are required to be able to find their unique predecessor (parent). This small change allows that.

Merge request reports