test_real_exec_04.aadl.out 1.67 KB