Could you enable then Ada again by default so that more people test it? Not quite yet. There is still the miscompilation of lib.adb caused by a DCE/aliasing bug that Diego is working on. Also, 40 ACATS failures are a bit high and they include three tasking tests that hang (on x86-64).