test_real_exec_04.aadl.out 3.56 KB