-
Thibault Martin authored
- Always print plugin except kernel - The only optional plugin is used in extension_from and plugin_from - All other acsl_extension functions take a plugin:string - these functions raise Not_found is the extension is not registered - can also fatal in case of ambiguity if plugin is None
Thibault Martin authored- Always print plugin except kernel - The only optional plugin is used in extension_from and plugin_from - All other acsl_extension functions take a plugin:string - these functions raise Not_found is the extension is not registered - can also fatal in case of ambiguity if plugin is None