=====================================
GNATdashboard 1.0 KNOWN PROBLEMS LIST
=====================================

Copyright (C) 2014-2015, AdaCore

KP-10-O715-004 Parsing gnatcheck reports is slow

  Problem:    The insertion of the gnatcheck messages into the gnathub
              database can be very long.

  Status:     Fixed in GNAThub 1.1.0 on 2015-07-16

  Workaround: None.

KP-10-O527-029 -X switches passed to gnathub not transferred to plugins

  Problem:    Amongst the -X switches passed to the gnathub driver,
              only those that correspond to scenario variables are
              passed on to the tools launched by the gnathub plugins.

  Status:     Fixed in GNAThub 1.1.0 on 2015-05-29

  Workaround: None.

KP-10-NB27-025 Missing src_mapping property in sonar-project.properties

  Problem:    When generating sonar-project.properties for a single-module
              project, the resulting file is missing the
              sonar.ada.gnathub.src_mapping property.

  Status:     Fixed in GNAThub 1.0.1 on 2014-11-27

  Workaround: Run all plugins but sonarrunner, patch the file by hand and
              re-run gnathub with "-i --plugins sonarrunner".

KP-10-NB20-021 Inconsistent use of -U across tools

  Problem:    GNATcheck invocation command line is lacking the -U switch, which
              forces the processing of the entire closure of source of the
              project.

  Status:     Fixed in GNAThub 1.0.2 on 2015-02-17

  Workaround: Edit the gnatcheck.py GNAThub plugin manually to add this switch.