ajunitgen

LGPL-3.0Ada

A lightweight Ada library for generating JUnit-compatible XML test reports without requiring a full test framework.

GitHub

1 stars1 forks0 contributors

Overview

Generator of JUnit-compatible XML reports in Ada

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

4 years ago

CreatedSince 2018

Built With

A

Ada

Included in

Ada/SPARK821

Auto-fetched 2 minutes ago

record-flux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Stars126

Forks9

Last commit6 months ago

automate

Ada finite-state machine generator.

Stars8

Forks1

Last commit2 years ago

fmt

Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation

Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files