test_real_exec_02.aadl.out 9.68 KB