You've already forked gnatdashboard
mirror of
https://github.com/AdaCore/gnatdashboard.git
synced 2026-02-12 12:30:42 -08:00
Message can now be attached properties. This is first used to specify whether a CodePeer message is "New" or not. Change-Id: I1a3d0c1b2b3a97d6601e0e6782b5cc059bf55d0d TN: P720-036
19 lines
557 B
Python
19 lines
557 B
Python
"""Check that all files have been created."""
|
|
|
|
from unittest import TestCase
|
|
from support.mock import GNAThub, Project
|
|
|
|
|
|
class TestSimpleExample(TestCase):
|
|
def setUp(self):
|
|
self.longMessage = True
|
|
|
|
# Run GNAThub with only the sonar-config plugin
|
|
self.gnathub = GNAThub(Project.simple(), plugins=['gnatmetric'])
|
|
|
|
def testClearToolReference(self):
|
|
self.gnathub.run(script='clear-gnatmetric-references.py')
|
|
|
|
def testCreateMessageWithProperty(self):
|
|
self.gnathub.run(script='create-message-with-property.py')
|