A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.
Functional values are collected fine (as seen by debug flag cntex_collection) but they are not transmitted in the candidate counterexample, hence they cannot be used for checking the counterexample using the RAC.
This MR aims at transmitting these functional values as well in the candidate CE