https://github.com/AdaCore/gnatcoverage

GNATcoverage: Coverage Analysis Tool
https://github.com/AdaCore/gnatcoverage

Last synced: about 1 month ago
JSON representation

GNATcoverage: Coverage Analysis Tool

• Host: GitHub
• URL: https://github.com/AdaCore/gnatcoverage
• Owner: AdaCore
• Created: 2017-03-23T15:04:56.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-04-22T09:24:36.000Z (12 months ago)
• Last Synced: 2024-04-22T10:14:47.906Z (12 months ago)
• Language: Ada
• Size: 28.1 MB
• Stars: 32
• Watchers: 9
• Forks: 9
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: COPYING3

Awesome Lists containing this project

• awesome-ada - gnat-coverage - GNATcoverage is a tool to analyze and report program coverage. (Tools / Verification)