You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
19 lines
360 B
Bash
19 lines
360 B
Bash
set -e
|
|
|
|
# Make a temporary directory
|
|
export ADAREDUCER_TEMP_DIR=`mktemp -d`
|
|
|
|
trap \
|
|
"{ rm -rf "${ADAREDUCER_TEMP_DIR}" ; exit 255; }" \
|
|
SIGINT SIGTERM ERR
|
|
|
|
# Copy the test to the temporary directory
|
|
cp -R demo/orig/* $ADAREDUCER_TEMP_DIR
|
|
|
|
# Run adareducer!
|
|
python adareducer $ADAREDUCER_TEMP_DIR/p.gpr demo/oracle.sh
|
|
|
|
# Clean up
|
|
rm -rf $ADAREDUCER_TEMP_DIR
|
|
|