You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
8 lines
82 B
Makefile
8 lines
82 B
Makefile
all: tests
|
|
|
|
demonstration:
|
|
bash demo/test.sh
|
|
|
|
tests:
|
|
cd testsuite ; bash run.sh
|