#

asis-for-gnat

Here are 2 public repositories matching this topic...

christoffer-nylen / asis-debug-tool

Identifies suitable ASIS queries by testing them on each ASIS element of a given Ada95 program.

static-analysis ada ada95 asis asis-for-gnat

Updated Dec 1, 2018
Ada

christoffer-nylen / adarorg

Measures RORG coverage of Ada95 software.

testing coverage instrumentation ror asis mcdc rorg asis-for-gnat

Updated Dec 1, 2018
Ada

Improve this page

Add a description, image, and links to the asis-for-gnat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the asis-for-gnat topic, visit your repo's landing page and select "manage topics."