-
Sylvain Dailler authored
Removing requests for mark_obsolete, clean_req and replay_req. Those are now Command_req because they are contextual. Only replay keeps a non-contextual mode for why3replay because we don't have root node anymore (there can be several file nodes).
5e00fc66