Skip to content

First step for guided state

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

Introduction of GuidedState abstract class with the implementation of the basic one, corresponding to actual code (= no guiding algorithm). The management of TODO state of the ActorState is now fully managed through a GuidedState. Finally, both DPOR and sleep set reductions have been moved from the backtracking method to the run one. This will be required when we will want to guide the search over multiple open states.

Merge request reports