adareducer

This program can be used to reduce an Ada code base to a smaller code base while maintaining a base property. It is typically used for minimising a bug reproducer.

Using the pre-built program

Adareducer is included in the GNAT Studio package. To access it in command line mode, you can do:

gnatstudio_cli adareducer <parameters>

Installation in a Python environment

Get a Python 3.7+ interpreter, install Libadalang's Python bindings and then run:

pip install /path/to/your/adareducer/clone

Usage

Refer to the corresponding section in the GNAT Studio documentation