You've already forked gnatdashboard
mirror of
https://github.com/AdaCore/gnatdashboard.git
synced 2026-02-12 12:30:42 -08:00
d3c8306e04
The documentation is now global and its sources moved to the top-level directory. Same goes for the know-problems-* and features-* files that are now shared between all submodules. This commit needs to be push in synchronization with change I0a342aea8d in the ANOD specification repository. Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f TN: OA28-039
46 lines
1.5 KiB
Plaintext
46 lines
1.5 KiB
Plaintext
=====================================
|
|
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.
|