Skip to content

Seal the platform in graphicator before dumping

Tom Cornebize requested to merge Ezibenroc/simgrid:graphicator_seal into master

This avoids a possible segfault if not everything is properly sealed.

Merge request reports