Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / all files / microwave39.traces.xml @ b8dc00eb

History | View | Annotate | Download (4.55 KB)

1
<?xml version="1.0"?>
2
<Traces xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3

    
4
     <Node name="top">
5
       <input name="top.KP_START | top.KP_CLEAR | top.KP_0 | top.KP_1 | top.KP_2 | top.KP_3 | top.KP_4 | top.KP_5 | top.KP_6 | top.KP_7 | top.KP_8 | top.KP_9 | top.DOOR_CLOSED" type="Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool">KP_START | KP_CLEAR | KP_0 | KP_1 | KP_2 | KP_3 | KP_4 | KP_5 | KP_6 | KP_7 | KP_8 | KP_9 | DOOR_CLOSED</input>
6
       <output name="top.OK" type="Bool">OK</output>
7
       <localInit name="top.__top_13_x | top.__top_15_x | top.__top_17_x | top.__top_19_x | top.__top_2_x | top.__top_21_x | top.__top_23_x | top.__top_25_x | top.__top_27_x | top.__top_29_x | top.__top_31_x | top.__top_36_x | top.__top_37_x | top.__top_38_x | top.__top_39_x | top.__top_6_x | top.__top_66_x | top.__top_67_x | top.__top_68_x | top.__top_69_x | top.__top_7_x | top.__top_70_x | top.__top_74_x | top.__top_76_x | top.__top_77_x | top.__top_78_x | top.__top_79_x | top.__top_80_x | top.__top_81_x | top.__top_82_x | top.__top_83_x | top.__top_84_x | top.__top_85_x | top.__top_86_x | top.__top_87_x | top.__top_88_x | top.__top_89_x | top.__top_9_x | top.__top_90_x | top.__top_92_x | top.__top_93_x" type="Bool | Bool | Bool | Bool | Int | Bool | Bool | Bool | Bool | Bool | Bool | Int | Int | Int | Int | Bool | Int | Int | Int | Bool | Bool | Bool | Bool | Int | Int | Int | Int | Int | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Int | Bool | Bool | Int">KP_01 | KP_11 | KP_21 | KP_31 | microwave_microwave_mode_logic_mode | KP_41 | KP_51 | KP_61 | KP_71 | KP_81 | KP_91 | microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY | microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY | microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY | rlt__Arrow5 | rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock | chart_microwave_mode_logic_steps_remaining | chart_microwave_mode_logic_mode | chart_microwave_mode_logic_final_state_states___root | chart_microwave_mode_logic____wakeup___ | rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step | chart_microwave_mode_logic_rlt_evtInitStep | KP_START | rlt__Arrow4 | rlt__Arrow3 | rlt__Arrow2 | rlt__Arrow1 | RIGHT_DIGIT | KP_0 | KP_9 | KP_8 | KP_7 | KP_6 | KP_5 | KP_4 | KP_3 | KP_2 | STEPS_TO_COOK | KP_1 | KP_CLEAR | rlt__Arrow</localInit>
8
       <localStep name="top.__top_13_c | top.__top_15_c | top.__top_17_c | top.__top_19_c | top.__top_2_c | top.__top_21_c | top.__top_23_c | top.__top_25_c | top.__top_27_c | top.__top_29_c | top.__top_31_c | top.__top_36_c | top.__top_37_c | top.__top_38_c | top.__top_39_c | top.__top_6_c | top.__top_66_c | top.__top_67_c | top.__top_68_c | top.__top_69_c | top.__top_7_c | top.__top_70_c | top.__top_74_c | top.__top_76_c | top.__top_77_c | top.__top_78_c | top.__top_79_c | top.__top_80_c | top.__top_81_c | top.__top_82_c | top.__top_83_c | top.__top_84_c | top.__top_85_c | top.__top_86_c | top.__top_87_c | top.__top_88_c | top.__top_89_c | top.__top_9_c | top.__top_90_c | top.__top_92_c | top.__top_93_c" type="Bool | Bool | Bool | Bool | Int | Bool | Bool | Bool | Bool | Bool | Bool | Int | Int | Int | Int | Bool | Int | Int | Int | Bool | Bool | Bool | Bool | Int | Int | Int | Int | Int | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Int | Bool | Bool | Int">(pre KP_01) | (pre KP_11) | (pre KP_21) | (pre KP_31) | (pre microwave_microwave_mode_logic_mode) | (pre KP_41) | (pre KP_51) | (pre KP_61) | (pre KP_71) | (pre KP_81) | (pre KP_91) | (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_RIGHT_DIGIT_DIGIT_TO_DISPLAY) | (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_MIDDLE_DIGIT_DIGIT_TO_DISPLAY) | (pre microwave_microwave_KEYPAD_PROCESSING_DISPLAY_LEFT_DIGIT_DIGIT_TO_DISPLAY) | (pre rlt__Arrow5) | (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_clock) | (pre chart_microwave_mode_logic_steps_remaining) | (pre chart_microwave_mode_logic_mode) | (pre chart_microwave_mode_logic_final_state_states___root) | (pre chart_microwave_mode_logic____wakeup___) | (pre rlt_condact_resetmicrowave_microwave_KEYPAD_PROCESSING_rlt_init_step) | (pre chart_microwave_mode_logic_rlt_evtInitStep) | (pre KP_START) | (pre rlt__Arrow4) | (pre rlt__Arrow3) | (pre rlt__Arrow2) | (pre rlt__Arrow1) | (pre RIGHT_DIGIT) | (pre KP_0) | (pre KP_9) | (pre KP_8) | (pre KP_7) | (pre KP_6) | (pre KP_5) | (pre KP_4) | (pre KP_3) | (pre KP_2) | (pre STEPS_TO_COOK) | (pre KP_1) | (pre KP_CLEAR) | (pre rlt__Arrow)</localStep>
9
       
10
     </Node>
11
     
12
</Traces>