stas@humanoid ~/sadtasks/test_tasks_ada $ gprbuild 
using project file alltests.gpr
gcc -c adatests.adb
gcc -c tasks.adb
gprbind adatests.bexch
gnatbind adatests.ali
gcc -c b__adatests.adb
gcc adatests.o -o adatests

...

stas@humanoid ~/sadtasks/test_tasks_ada $ ./adatests 
Creating  10 tasks.
PASS: created max_tasks.
Aborting  10 tasks.
FAIL: Task  1 NOT aborted.
FAIL: Task  2 NOT aborted.
FAIL: Task  3 NOT aborted.
FAIL: Task  4 NOT aborted.
FAIL: Task  5 NOT aborted.
FAIL: Task  6 NOT aborted.
FAIL: Task  7 NOT aborted.
FAIL: Task  8 NOT aborted.
FAIL: Task  9 NOT aborted.
FAIL: Task  10 NOT aborted.
FAIL: after abort:  10 tasks alive.
Will abort main program with C's exit