You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
26 lines
738 B
Markdown
26 lines
738 B
Markdown
# 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](https://github.com/AdaCore/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](https://docs.adacore.com/live/wave/gps/html/gps_ug/tools.html#the-automatic-code-reducer)
|