Resolve "Internal error in Alt-ergo after inline_trivial" (!880) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.3.

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

BONNOT Paul requested to merge 417-internal-error-in-alt-ergo-after-inline_trivial into master May 12, 2023

Closes #417