search

AdaCore / adareducer

GNU General Public License v3.0
13 stars 2 forks source link

Cleanup and fix the testsuite #9

Closed setton closed 2 years ago

setton commented 2 years ago

Adjust the testsuite to the new name of ada_reduce.py.

Rename "basic.sh" to the more meaningful "oracle.sh"

Simplify test.sh and do not trap "EXIT"