Mentions légales du service

Skip to content

Fix dumb session reloading

Benedikt Becker requested to merge fix-dump-session-reloading into master

When no shapes are found in why3replay, the shape version is set to the current shape version in the session. Having a shape version in turn enables pairing by shapes, which results in wrong pairings. This MR separates the shape version and a flag that indicates the presence of shapes in the session, to chose the right pairing procedure.

Edited by MARCHE Claude

Merge request reports