2.11. spark2014 module
GNAThub plug-in for the SPARK2014 command-line tool.
It exports the SPARK2014 class which implements the GNAThub.Plugin
interface. This allows GNAThub’s plug-in scanner to automatically find this
module and load it as part of the GNAThub default execution.
- class spark2014.SPARK2014[source]
Bases:
Plugin
,Runner
,Reporter
SPARK2014 plugin for GNAThub.
Configures and executes GNATprove, then analyzes the output.
- SPARK_TO_RANKING = {'high': 5, 'info': 2, 'low': 3, 'medium': 4, 'warning': 4}