Mentions légales du service

Skip to content

Warn the user when a declaration is skipped by C extraction

Raphaël Rieu-Helft requested to merge extraction_warn_skip into master

This MR enables by default the error messages that the C extraction outputs when a declaration is skipped. They are disabled in multiprecision because there are too many (mostly from stdlib).

Merge request reports