Project

General

Profile

Revision 9b45f3df

View differences:

regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lus
73 73

  
74 74
-- Entry action for state :RUNNING_COOKING
75 75
node RUNNING_COOKING_en(idMode_logic_RUNNING_1:int;
76
	mode_1:int;
76
	mode__1:int;
77 77
	isInner:bool)
78 78

  
79 79
returns (idMode_logic_RUNNING:int;
80
	mode:int);
80
	mode_:int);
81 81

  
82 82

  
83 83
var 	idMode_logic_RUNNING_2:int;
84
	mode_2:int;
84
	mode__2:int;
85 85

  
86 86

  
87 87
let
......
93 93
	= 1332;
94 94
	
95 95

  
96
	mode_2 
96
	mode__2 
97 97
	= if (not isInner) then 2
98
	 else mode_1;
98
	 else mode__1;
99 99
	
100 100

  
101
	(idMode_logic_RUNNING, mode) 
102
	= (idMode_logic_RUNNING_2, mode_2);
101
	(idMode_logic_RUNNING, mode_) 
102
	= (idMode_logic_RUNNING_2, mode__2);
103 103
	
104 104

  
105 105
tel
......
140 140

  
141 141
-- Entry action for state :RUNNING_SUSPENDED
142 142
node RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1:int;
143
	mode_1:int;
143
	mode__1:int;
144 144
	isInner:bool)
145 145

  
146 146
returns (idMode_logic_RUNNING:int;
147
	mode:int);
147
	mode_:int);
148 148

  
149 149

  
150 150
var 	idMode_logic_RUNNING_2:int;
151
	mode_2:int;
151
	mode__2:int;
152 152

  
153 153

  
154 154
let
......
160 160
	= 1333;
161 161
	
162 162

  
163
	mode_2 
163
	mode__2 
164 164
	= if (not isInner) then 3
165
	 else mode_1;
165
	 else mode__1;
166 166
	
167 167

  
168
	(idMode_logic_RUNNING, mode) 
169
	= (idMode_logic_RUNNING_2, mode_2);
168
	(idMode_logic_RUNNING, mode_) 
169
	= (idMode_logic_RUNNING_2, mode__2);
170 170
	
171 171

  
172 172
tel
......
209 209
node Mode_logic_RUNNING_en(idMode_logic_RUNNING_1:int;
210 210
	idMode_logic_Mode_logic_1:int;
211 211
	door_closed:bool;
212
	mode_1:int;
212
	mode__1:int;
213 213
	isInner:bool)
214 214

  
215 215
returns (idMode_logic_RUNNING:int;
216 216
	idMode_logic_Mode_logic:int;
217
	mode:int);
217
	mode_:int);
218 218

  
219 219

  
220 220
var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3, idMode_logic_RUNNING_4, idMode_logic_RUNNING_5, idMode_logic_RUNNING_6, idMode_logic_RUNNING_7:int;
221 221
	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3, idMode_logic_Mode_logic_4:int;
222
	mode_2, mode_3, mode_4, mode_5, mode_6, mode_7:int;
222
	mode__2, mode__3, mode__4, mode__5, mode__6, mode__7:int;
223 223

  
224 224

  
225 225
let
......
236 236

  
237 237
-- transition trace :
238 238
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1
239
		(idMode_logic_RUNNING_2, mode_2) 
239
		(idMode_logic_RUNNING_2, mode__2) 
240 240
	= 
241 241
		 if (( door_closed )) then 
242
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
243
		 else (idMode_logic_RUNNING_1, mode_1);
242
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
243
		 else (idMode_logic_RUNNING_1, mode__1);
244 244
		
245 245

  
246 246

  
247 247
-- transition trace :
248 248
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2
249
		(idMode_logic_RUNNING_3, mode_3) 
250
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false);
249
		(idMode_logic_RUNNING_3, mode__3) 
250
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);
251 251
		
252 252

  
253
	(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4) 
253
	(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4) 
254 254
	= 
255 255

  
256 256
	if ( idMode_logic_RUNNING_1 = 0) then
257 257

  
258 258
	
259 259
		 if (( door_closed )) then 
260
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode_2)
261
		 else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode_3)
260
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_2, mode__2)
261
		 else (idMode_logic_RUNNING_3, idMode_logic_Mode_logic_2, mode__3)
262 262

  
263
	 else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
263
	 else(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
264 264

  
265 265
	
266 266

  
267
	(idMode_logic_RUNNING_5, mode_5) 
267
	(idMode_logic_RUNNING_5, mode__5) 
268 268
	= 
269 269
	if ( idMode_logic_RUNNING_1 = 1332) then
270
	RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
271
	 else (idMode_logic_RUNNING_1, mode_1);
270
	RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
271
	 else (idMode_logic_RUNNING_1, mode__1);
272 272

  
273 273
	
274 274

  
275
	(idMode_logic_RUNNING_6, mode_6) 
275
	(idMode_logic_RUNNING_6, mode__6) 
276 276
	= 
277 277
	if ( idMode_logic_RUNNING_1 = 1333) then
278
	RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false)
279
	 else (idMode_logic_RUNNING_1, mode_1);
278
	RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false)
279
	 else (idMode_logic_RUNNING_1, mode__1);
280 280

  
281 281
	
282 282

  
283
	(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7) 
283
	(idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7) 
284 284
	= 
285 285
		 if ( idMode_logic_RUNNING_1 = 0) then 
286
		(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode_4)
286
		(idMode_logic_RUNNING_4, idMode_logic_Mode_logic_3, mode__4)
287 287
		 else
288 288
		 if ( idMode_logic_RUNNING_1 = 1332) then 
289
		(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode_5)
289
		(idMode_logic_RUNNING_5, idMode_logic_Mode_logic_3, mode__5)
290 290
		 else
291 291
		 if ( idMode_logic_RUNNING_1 = 1333) then 
292
		(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode_6)
293
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
292
		(idMode_logic_RUNNING_6, idMode_logic_Mode_logic_3, mode__6)
293
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
294 294

  
295 295

  
296
	(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode) 
297
	= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode_7);
296
	(idMode_logic_RUNNING, idMode_logic_Mode_logic, mode_) 
297
	= (idMode_logic_RUNNING_7, idMode_logic_Mode_logic_4, mode__7);
298 298
	
299 299

  
300 300
tel
......
368 368

  
369 369
-- Entry action for state :Mode_logic_SETUP
370 370
node Mode_logic_SETUP_en(idMode_logic_Mode_logic_1:int;
371
	mode_1:int;
371
	mode__1:int;
372 372
	steps_to_cook:int;
373 373
	steps_remaining_1:int;
374 374
	isInner:bool)
375 375

  
376 376
returns (idMode_logic_Mode_logic:int;
377
	mode:int;
377
	mode_:int;
378 378
	steps_remaining:int);
379 379

  
380 380

  
381 381
var 	idMode_logic_Mode_logic_2:int;
382
	mode_2:int;
382
	mode__2:int;
383 383
	steps_remaining_2:int;
384 384

  
385 385

  
......
392 392
	= 1331;
393 393
	
394 394

  
395
	mode_2 
395
	mode__2 
396 396
	= if (not isInner) then 1
397
	 else mode_1;
397
	 else mode__1;
398 398
	
399 399

  
400 400
	steps_remaining_2 
......
402 402
	 else steps_remaining_1;
403 403
	
404 404

  
405
	(idMode_logic_Mode_logic, mode, steps_remaining) 
406
	= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2);
405
	(idMode_logic_Mode_logic, mode_, steps_remaining) 
406
	= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);
407 407
	
408 408

  
409 409
tel
......
442 442

  
443 443
node Mode_logic_RUNNING_node(idMode_logic_RUNNING_1:int;
444 444
	door_closed:bool;
445
	mode_1:int;
445
	mode__1:int;
446 446
	steps_remaining_1:int;
447 447
	clear:bool;
448 448
	idMode_logic_Mode_logic_1:int;
......
450 450
	start:bool)
451 451

  
452 452
returns (idMode_logic_RUNNING:int;
453
	mode:int;
453
	mode_:int;
454 454
	steps_remaining:int;
455 455
	idMode_logic_Mode_logic:int);
456 456

  
457 457

  
458 458
let
459 459

  
460
	 automaton mode_logic_running
460
	 automaton mode__logic_running
461 461

  
462 462
	state POINTMode_logic_RUNNING:
463 463
	unless (idMode_logic_RUNNING_1=0) restart POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1
......
486 486

  
487 487
	let
488 488

  
489
		(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
490
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
489
		(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
490
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
491 491
	
492 492

  
493 493
	tel
......
497 497
	state POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1:
498 498

  
499 499
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
500
	mode_2, mode_3:int;
500
	mode__2, mode__3:int;
501 501
	let
502 502

  
503 503
		
504 504

  
505 505
-- transition trace :
506 506
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_COOKING_1
507
		(idMode_logic_RUNNING_2, mode_2) 
507
		(idMode_logic_RUNNING_2, mode__2) 
508 508
	= 
509 509
		 if (( door_closed )) then 
510
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode_1, false)
511
		 else (idMode_logic_RUNNING_1, mode_1);
510
		RUNNING_COOKING_en(idMode_logic_RUNNING_1, mode__1, false)
511
		 else (idMode_logic_RUNNING_1, mode__1);
512 512
		
513 513

  
514 514

  
515 515
-- transition trace :
516 516
	--POINT__To__Junction1335_1, Junction1335__To__RUNNING_SUSPENDED_2
517
		(idMode_logic_RUNNING_3, mode_3) 
518
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode_1, false);
517
		(idMode_logic_RUNNING_3, mode__3) 
518
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_1, mode__1, false);
519 519
		
520 520

  
521
	(idMode_logic_RUNNING, mode) 
521
	(idMode_logic_RUNNING, mode_) 
522 522
	= 
523 523
		 if (( door_closed )) then 
524
		(idMode_logic_RUNNING_2, mode_2)
525
		 else (idMode_logic_RUNNING_3, mode_3);
524
		(idMode_logic_RUNNING_2, mode__2)
525
		 else (idMode_logic_RUNNING_3, mode__3);
526 526

  
527 527
	--add unused variables
528 528
	(idMode_logic_Mode_logic, steps_remaining) 
......
538 538
	state RUNNING_COOKING__TO__RUNNING_COOKING_1:
539 539

  
540 540
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
541
	mode_2:int;
541
	mode__2:int;
542 542
	steps_remaining_2:int;
543 543
	let
544 544

  
......
552 552
	= RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action(steps_remaining_1);
553 553
		
554 554

  
555
		(idMode_logic_RUNNING_3, mode_2) 
556
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false);
555
		(idMode_logic_RUNNING_3, mode__2) 
556
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);
557 557
		
558 558

  
559
	(idMode_logic_RUNNING, mode, steps_remaining) 
560
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_2);
559
	(idMode_logic_RUNNING, mode_, steps_remaining) 
560
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_2);
561 561

  
562 562
	--add unused variables
563 563
	(idMode_logic_Mode_logic) 
......
573 573
	state RUNNING_COOKING__TO__RUNNING_SUSPENDED_2:
574 574

  
575 575
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
576
	mode_2:int;
576
	mode__2:int;
577 577
	let
578 578

  
579 579
		-- transition trace :
......
582 582
	= RUNNING_COOKING_ex(idMode_logic_RUNNING_1, false);
583 583
		
584 584

  
585
		(idMode_logic_RUNNING_3, mode_2) 
586
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode_1, false);
585
		(idMode_logic_RUNNING_3, mode__2) 
586
	= RUNNING_SUSPENDED_en(idMode_logic_RUNNING_2, mode__1, false);
587 587
		
588 588

  
589
	(idMode_logic_RUNNING, mode, steps_remaining) 
590
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_1);
589
	(idMode_logic_RUNNING, mode_, steps_remaining) 
590
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_1);
591 591

  
592 592
	--add unused variables
593 593
	(idMode_logic_Mode_logic) 
......
603 603
	state RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1:
604 604

  
605 605
	 var 	idMode_logic_RUNNING_2:int;
606
	mode_2:int;
606
	mode__2:int;
607 607
	steps_remaining_2:int;
608 608
	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
609 609
	let
......
616 616
	= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false);
617 617
		
618 618

  
619
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 
620
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false);
619
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2) 
620
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);
621 621
		
622 622

  
623
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
624
	=  (idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_3);
623
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
624
	=  (idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_3);
625 625

  
626 626

  
627 627
	tel
......
633 633
	state RUNNING_SUSPENDED__TO__RUNNING_COOKING_2:
634 634

  
635 635
	 var 	idMode_logic_RUNNING_2, idMode_logic_RUNNING_3:int;
636
	mode_2:int;
636
	mode__2:int;
637 637
	let
638 638

  
639 639
		-- transition trace :
......
642 642
	= RUNNING_SUSPENDED_ex(idMode_logic_RUNNING_1, false);
643 643
		
644 644

  
645
		(idMode_logic_RUNNING_3, mode_2) 
646
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode_1, false);
645
		(idMode_logic_RUNNING_3, mode__2) 
646
	= RUNNING_COOKING_en(idMode_logic_RUNNING_2, mode__1, false);
647 647
		
648 648

  
649
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
650
	=  (idMode_logic_RUNNING_3, mode_2, steps_remaining_1, idMode_logic_Mode_logic_1);
649
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
650
	=  (idMode_logic_RUNNING_3, mode__2, steps_remaining_1, idMode_logic_Mode_logic_1);
651 651

  
652 652

  
653 653
	tel
......
662 662

  
663 663
		
664 664

  
665
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
666
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
665
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
666
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
667 667
	
668 668

  
669 669
	tel
......
678 678

  
679 679
		
680 680

  
681
	(idMode_logic_RUNNING, mode, steps_remaining, idMode_logic_Mode_logic) 
682
	= (idMode_logic_RUNNING_1, mode_1, steps_remaining_1, idMode_logic_Mode_logic_1);
681
	(idMode_logic_RUNNING, mode_, steps_remaining, idMode_logic_Mode_logic) 
682
	= (idMode_logic_RUNNING_1, mode__1, steps_remaining_1, idMode_logic_Mode_logic_1);
683 683
	
684 684

  
685 685
	tel
......
694 694
--***************************************************State :Mode_logic_Mode_logic Automaton***************************************************
695 695

  
696 696
node Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1:int;
697
	mode_1:int;
697
	mode__1:int;
698 698
	steps_remaining_1:int;
699 699
	steps_to_cook:int;
700 700
	start:bool;
......
703 703
	clear:bool)
704 704

  
705 705
returns (idMode_logic_Mode_logic:int;
706
	mode:int;
706
	mode_:int;
707 707
	steps_remaining:int;
708 708
	idMode_logic_RUNNING:int);
709 709

  
710 710

  
711 711
let
712 712

  
713
	 automaton mode_logic_mode_logic
713
	 automaton mode__logic_mode__logic
714 714

  
715 715
	state POINTMode_logic_Mode_logic:
716 716
	unless (idMode_logic_Mode_logic_1=0) restart POINT__TO__MODE_LOGIC_SETUP_1
......
731 731

  
732 732
	let
733 733

  
734
		(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
735
	= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1);
734
		(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
735
	= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);
736 736
	
737 737

  
738 738
	tel
......
742 742
	state POINT__TO__MODE_LOGIC_SETUP_1:
743 743

  
744 744
	 var 	idMode_logic_Mode_logic_2:int;
745
	mode_2:int;
745
	mode__2:int;
746 746
	steps_remaining_2:int;
747 747
	let
748 748

  
749 749
		-- transition trace :
750 750
	--POINT__To__Mode_logic_SETUP_1
751
		(idMode_logic_Mode_logic_2, mode_2, steps_remaining_2) 
752
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode_1, steps_to_cook, steps_remaining_1, false);
751
		(idMode_logic_Mode_logic_2, mode__2, steps_remaining_2) 
752
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_1, mode__1, steps_to_cook, steps_remaining_1, false);
753 753
		
754 754

  
755
	(idMode_logic_Mode_logic, mode, steps_remaining) 
756
	=  (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2);
755
	(idMode_logic_Mode_logic, mode_, steps_remaining) 
756
	=  (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2);
757 757

  
758 758
	--add unused variables
759 759
	(idMode_logic_RUNNING) 
......
769 769
	state MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1:
770 770

  
771 771
	 var 	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
772
	mode_2:int;
772
	mode__2:int;
773 773
	steps_remaining_2:int;
774 774
	idMode_logic_RUNNING_2:int;
775 775
	let
......
791 791
		 else (idMode_logic_Mode_logic_1);
792 792
		
793 793

  
794
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode_2) 
794
		(idMode_logic_RUNNING_2, idMode_logic_Mode_logic_3, mode__2) 
795 795
	= 
796 796
		 if (( start and  steps_remaining_2 >0 )) then 
797
		Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode_1, false)
798
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode_1);
797
		Mode_logic_RUNNING_en(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, door_closed, mode__1, false)
798
		 else (idMode_logic_RUNNING_1, idMode_logic_Mode_logic_2, mode__1);
799 799
		
800 800

  
801
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
801
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
802 802
	= 
803 803
		 if (( start and  steps_remaining_2 >0 )) then 
804
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2)
805
		 else (idMode_logic_Mode_logic_1, mode_1, steps_remaining_2, idMode_logic_RUNNING_1);
804
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2)
805
		 else (idMode_logic_Mode_logic_1, mode__1, steps_remaining_2, idMode_logic_RUNNING_1);
806 806

  
807 807

  
808 808
	tel
......
814 814
	state MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1:
815 815

  
816 816
	 var 	idMode_logic_Mode_logic_2, idMode_logic_Mode_logic_3:int;
817
	mode_2:int;
817
	mode__2:int;
818 818
	steps_remaining_2:int;
819 819
	idMode_logic_RUNNING_2:int;
820 820
	let
......
827 827
	= Mode_logic_RUNNING_ex(idMode_logic_RUNNING_1, idMode_logic_Mode_logic_1, false);
828 828
		
829 829

  
830
		(idMode_logic_Mode_logic_3, mode_2, steps_remaining_2) 
831
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode_1, steps_to_cook, steps_remaining_1, false);
830
		(idMode_logic_Mode_logic_3, mode__2, steps_remaining_2) 
831
	= Mode_logic_SETUP_en(idMode_logic_Mode_logic_2, mode__1, steps_to_cook, steps_remaining_1, false);
832 832
		
833 833

  
834
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
835
	=  (idMode_logic_Mode_logic_3, mode_2, steps_remaining_2, idMode_logic_RUNNING_2);
834
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
835
	=  (idMode_logic_Mode_logic_3, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);
836 836

  
837 837

  
838 838
	tel
......
847 847

  
848 848
		
849 849

  
850
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
851
	= (idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, idMode_logic_RUNNING_1);
850
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
851
	= (idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, idMode_logic_RUNNING_1);
852 852
	
853 853

  
854 854
	tel
......
860 860
	state MODE_LOGIC_RUNNING_IDL:
861 861

  
862 862
	 var 	idMode_logic_Mode_logic_2:int;
863
	mode_2:int;
863
	mode__2:int;
864 864
	steps_remaining_2:int;
865 865
	idMode_logic_RUNNING_2:int;
866 866
	let
867 867

  
868 868
		
869
	(idMode_logic_RUNNING_2, mode_2, steps_remaining_2, idMode_logic_Mode_logic_2) 
870
	= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode_1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start);
869
	(idMode_logic_RUNNING_2, mode__2, steps_remaining_2, idMode_logic_Mode_logic_2) 
870
	= Mode_logic_RUNNING_node(idMode_logic_RUNNING_1, door_closed, mode__1, steps_remaining_1, clear, idMode_logic_Mode_logic_1, steps_to_cook, start);
871 871

  
872 872
		
873 873

  
874 874

  
875
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING) 
876
	= (idMode_logic_Mode_logic_2, mode_2, steps_remaining_2, idMode_logic_RUNNING_2);
875
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING) 
876
	= (idMode_logic_Mode_logic_2, mode__2, steps_remaining_2, idMode_logic_RUNNING_2);
877 877
	
878 878

  
879 879
	tel
......
892 892
	steps_to_cook:int;
893 893
	door_closed:bool)
894 894

  
895
returns (mode:int;
895
returns (mode_:int;
896 896
	steps_remaining:int);
897 897

  
898 898

  
899
var mode_1: int;
899
var mode__1: int;
900 900

  
901 901
	steps_remaining_1: int;
902 902

  
......
906 906

  
907 907
	let
908 908

  
909
	mode_1 = 0 -> pre mode;
909
	mode__1 = 0 -> pre mode_;
910 910

  
911 911
	steps_remaining_1 = 0 -> pre steps_remaining;
912 912

  
......
918 918

  
919 919

  
920 920

  
921
	(idMode_logic_Mode_logic, mode, steps_remaining, idMode_logic_RUNNING)
922
	 = Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode_1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear);
921
	(idMode_logic_Mode_logic, mode_, steps_remaining, idMode_logic_RUNNING)
922
	 = Mode_logic_Mode_logic_node(idMode_logic_Mode_logic_1, mode__1, steps_remaining_1, steps_to_cook, start, door_closed, idMode_logic_RUNNING_1, clear);
923 923

  
924 924

  
925 925
--unused outputs
......
930 930

  
931 931

  
932 932
node Microwave (start_1_1 : bool; clear_1_1 : bool; steps_to_cook_1_1 : int; door_closed_1_1 : bool)
933
returns (mode_1_1 : int;
933
returns (mode__1_1 : int;
934 934
	steps_remaining_2_1 : int); 
935 935
var
936 936
	Mode_logic_1_1 : int; Mode_logic_2_1 : int;
937 937
	i_virtual_local : real;
938 938
let 
939 939
	(Mode_logic_1_1, Mode_logic_2_1) =  Microwave_Mode_logic(start_1_1, clear_1_1, steps_to_cook_1_1, door_closed_1_1);
940
	mode_1_1 = Mode_logic_1_1;
940
	mode__1_1 = Mode_logic_1_1;
941 941
	steps_remaining_2_1 = Mode_logic_2_1;
942 942
	i_virtual_local= 0.0 -> 1.0;
943 943
tel
regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lusi
2 2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:26 *)
3 3
(* Feel free to mask some of the definitions by removing them from this file. *)
4 4

  
5
type mode_logic_running__type = enum {POINTMode_logic_RUNNING, POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1, RUNNING_COOKING__TO__RUNNING_COOKING_1, RUNNING_COOKING__TO__RUNNING_SUSPENDED_2, RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, RUNNING_SUSPENDED__TO__RUNNING_COOKING_2, RUNNING_COOKING_IDL, RUNNING_SUSPENDED_IDL };
5
type mode__logic_running__type = enum {POINTMode_logic_RUNNING, POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1, RUNNING_COOKING__TO__RUNNING_COOKING_1, RUNNING_COOKING__TO__RUNNING_SUSPENDED_2, RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, RUNNING_SUSPENDED__TO__RUNNING_COOKING_2, RUNNING_COOKING_IDL, RUNNING_SUSPENDED_IDL };
6 6

  
7 7

  
8
type mode_logic_mode_logic__type = enum {POINTMode_logic_Mode_logic, POINT__TO__MODE_LOGIC_SETUP_1, MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1, MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, MODE_LOGIC_SETUP_IDL, MODE_LOGIC_RUNNING_IDL };
8
type mode__logic_mode__logic__type = enum {POINTMode_logic_Mode_logic, POINT__TO__MODE_LOGIC_SETUP_1, MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1, MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, MODE_LOGIC_SETUP_IDL, MODE_LOGIC_RUNNING_IDL };
9 9

  
10 10

  
11 11
function RUNNING_COOKING_ex (idMode_logic_RUNNING_1: int; isInner: bool) returns (idMode_logic_RUNNING: int);
12 12

  
13 13
function RUNNING_SUSPENDED_ex (idMode_logic_RUNNING_1: int; isInner: bool) returns (idMode_logic_RUNNING: int);
14 14

  
15
function RUNNING_COOKING_en (idMode_logic_RUNNING_1: int; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode: int);
15
function RUNNING_COOKING_en (idMode_logic_RUNNING_1: int; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode_: int);
16 16

  
17
function RUNNING_SUSPENDED_en (idMode_logic_RUNNING_1: int; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode: int);
17
function RUNNING_SUSPENDED_en (idMode_logic_RUNNING_1: int; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode_: int);
18 18

  
19 19
function RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action (steps_remaining_1: int) returns (steps_remaining: int);
20 20

  
21 21
function Mode_logic_RUNNING_ex (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int);
22 22

  
23
function Mode_logic_SETUP_en (idMode_logic_Mode_logic_1: int; mode_1: int; steps_to_cook: int; steps_remaining_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int; mode: int; steps_remaining: int);
23
function Mode_logic_SETUP_en (idMode_logic_Mode_logic_1: int; mode__1: int; steps_to_cook: int; steps_remaining_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int; mode_: int; steps_remaining: int);
24 24

  
25
function mode_logic_running__POINTMode_logic_RUNNING_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
25
function mode__logic_running__POINTMode_logic_RUNNING_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
26 26

  
27
function mode_logic_running__POINTMode_logic_RUNNING_unless (mode_logic_running__restart_in: bool; idMode_logic_RUNNING_1: int; door_closed: bool; steps_remaining_1: int; clear: bool; start: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
27
function mode__logic_running__POINTMode_logic_RUNNING_unless (mode__logic_running__restart_in: bool; idMode_logic_RUNNING_1: int; door_closed: bool; steps_remaining_1: int; clear: bool; start: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
28 28

  
29
function mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; door_closed: bool; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
29
function mode__logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; door_closed: bool; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
30 30

  
31
function mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
31
function mode__logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
32 32

  
33
function mode_logic_running__RUNNING_COOKING_IDL_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
33
function mode__logic_running__RUNNING_COOKING_IDL_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
34 34

  
35
function mode_logic_running__RUNNING_COOKING_IDL_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
35
function mode__logic_running__RUNNING_COOKING_IDL_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
36 36

  
37
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
37
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
38 38

  
39
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
39
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
40 40

  
41
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
41
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
42 42

  
43
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
43
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
44 44

  
45
function mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
45
function mode__logic_running__RUNNING_SUSPENDED_IDL_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
46 46

  
47
function mode_logic_running__RUNNING_SUSPENDED_IDL_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
47
function mode__logic_running__RUNNING_SUSPENDED_IDL_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
48 48

  
49
function mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int; steps_to_cook: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
49
function mode__logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int; steps_to_cook: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
50 50

  
51
function mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
51
function mode__logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
52 52

  
53
function mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
53
function mode__logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
54 54

  
55
function mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
55
function mode__logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
56 56

  
57
node Mode_logic_RUNNING_node (idMode_logic_RUNNING_1: int; door_closed: bool; mode_1: int; steps_remaining_1: int; clear: bool; idMode_logic_Mode_logic_1: int; steps_to_cook: int; start: bool) returns (idMode_logic_RUNNING: int; mode: int; steps_remaining: int; idMode_logic_Mode_logic: int);
57
node Mode_logic_RUNNING_node (idMode_logic_RUNNING_1: int; door_closed: bool; mode__1: int; steps_remaining_1: int; clear: bool; idMode_logic_Mode_logic_1: int; steps_to_cook: int; start: bool) returns (idMode_logic_RUNNING: int; mode_: int; steps_remaining: int; idMode_logic_Mode_logic: int);
58 58

  
59
function Mode_logic_RUNNING_en (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; door_closed: bool; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int; mode: int);
59
function Mode_logic_RUNNING_en (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; door_closed: bool; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int; mode_: int);
60 60

  
61 61
function Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action (steps_to_cook: int; steps_remaining_1: int) returns (steps_remaining: int);
62 62

  
63 63
function Mode_logic_SETUP_ex (idMode_logic_Mode_logic_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int);
64 64

  
65
node mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
65
node mode__logic_mode__logic__MODE_LOGIC_RUNNING_IDL_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
66 66

  
67
function mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
67
function mode__logic_mode__logic__MODE_LOGIC_RUNNING_IDL_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
68 68

  
69
function mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
69
function mode__logic_mode__logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
70 70

  
71
function mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
71
function mode__logic_mode__logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
72 72

  
73
function mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
73
function mode__logic_mode__logic__MODE_LOGIC_SETUP_IDL_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
74 74

  
75
function mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
75
function mode__logic_mode__logic__MODE_LOGIC_SETUP_IDL_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
76 76

  
77
function mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
77
function mode__logic_mode__logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
78 78

  
79
function mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
79
function mode__logic_mode__logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
80 80

  
81
function mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
81
function mode__logic_mode__logic__POINTMode_logic_Mode_logic_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
82 82

  
83
function mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless (mode_logic_mode_logic__restart_in: bool; idMode_logic_Mode_logic_1: int; steps_remaining_1: int) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
83
function mode__logic_mode__logic__POINTMode_logic_Mode_logic_unless (mode__logic_mode__logic__restart_in: bool; idMode_logic_Mode_logic_1: int; steps_remaining_1: int) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
84 84

  
85
function mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
85
function mode__logic_mode__logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
86 86

  
87
function mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
87
function mode__logic_mode__logic__POINT__TO__MODE_LOGIC_SETUP_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
88 88

  
89
node Mode_logic_Mode_logic_node (idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (idMode_logic_Mode_logic: int; mode: int; steps_remaining: int; idMode_logic_RUNNING: int);
89
node Mode_logic_Mode_logic_node (idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (idMode_logic_Mode_logic: int; mode_: int; steps_remaining: int; idMode_logic_RUNNING: int);
90 90

  
91
node Microwave_Mode_logic (start: bool; clear: bool; steps_to_cook: int; door_closed: bool) returns (mode: int; steps_remaining: int);
91
node Microwave_Mode_logic (start: bool; clear: bool; steps_to_cook: int; door_closed: bool) returns (mode_: int; steps_remaining: int);
92 92

  
93
node Microwave (start_1_1: bool; clear_1_1: bool; steps_to_cook_1_1: int; door_closed_1_1: bool) returns (mode_1_1: int; steps_remaining_2_1: int);
93
node Microwave (start_1_1: bool; clear_1_1: bool; steps_to_cook_1_1: int; door_closed_1_1: bool) returns (mode__1_1: int; steps_remaining_2_1: int);
94 94

  
regression_tests/lustre_files/success/kind_fmcad08/large/ccp02.lus
10 10
      validInputs: bool) returns (OK: bool);
11 11
--@ contract guarantees OK;
12 12
var
13
   mode: int ; 
13
   mode_: int ; 
14 14
      cruiseThrottle: real; 
15 15
      desiredSpeed: real; 
16 16
      VRP1: bool; 
......
299 299

  
300 300
   zz156 = (0 -> (pre zz161));
301 301

  
302
   zz157 = (0 -> (pre mode));
302
   zz157 = (0 -> (pre mode_));
303 303

  
304 304
   zz159 = 
305 305
      (if SP3c
......
504 504

  
505 505
   zz204 = cruiseThrottle;
506 506

  
507
   zz165 = (mode = 6);
507
   zz165 = (mode_ = 6);
508 508

  
509 509
   SP7 = ((not zz165) or 
510 510
      zz208);
......
701 701

  
702 702
   zz194 = (desiredSpeed >= 15.0);
703 703

  
704
   zz197 = (mode = 1);
704
   zz197 = (mode_ = 1);
705 705

  
706 706
   VRP3 = (not zz237);
707 707

  
......
937 937
         then false
938 938
         else (pre zz155)));
939 939

  
940
   zz196 = (mode = 2);
940
   zz196 = (mode_ = 2);
941 941

  
942 942
   zz161 = zz160;
943 943

  
......
1164 1164
         else zz89);
1165 1165
   (* Transition segment: trans21 complete. *)
1166 1166

  
1167
   zz202 = (mode = 3);
1167
   zz202 = (mode_ = 3);
1168 1168

  
1169 1169
   zz221 = 
1170 1170
      (if zz162
......
1407 1407
               3
1408 1408
         else zz40);
1409 1409

  
1410
   zz163 = (mode = 4);
1410
   zz163 = (mode_ = 4);
1411 1411

  
1412 1412
   zz187 = (cruiseThrottle = 0.0);
1413 1413

  
......
1458 1458
         then zz22
1459 1459
         else zz108);
1460 1460

  
1461
   mode = 
1461
   mode_ = 
1462 1462
      (if SP3c
1463 1463
         then 
1464 1464
               (if zz155
......
1602 1602
         then zz68
1603 1603
         else zz97);
1604 1604

  
1605
   zz164 = (mode = 5);
1605
   zz164 = (mode_ = 5);
1606 1606

  
1607 1607
   zz17 = 
1608 1608
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp03.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
   mode: int ; 
14
   mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP1: bool; 
......
300 300

  
301 301
   zz156 = (0 -> (pre zz161));
302 302

  
303
   zz157 = (0 -> (pre mode));
303
   zz157 = (0 -> (pre mode_));
304 304

  
305 305
   zz159 = 
306 306
      (if SP3c
......
505 505

  
506 506
   zz204 = cruiseThrottle;
507 507

  
508
   zz165 = (mode = 6);
508
   zz165 = (mode_ = 6);
509 509

  
510 510
   SP7 = ((not zz165) or 
511 511
      zz208);
......
702 702

  
703 703
   zz194 = (desiredSpeed >= 15.0);
704 704

  
705
   zz197 = (mode = 1);
705
   zz197 = (mode_ = 1);
706 706

  
707 707
   VRP3 = (not zz237);
708 708

  
......
938 938
         then false
939 939
         else (pre zz155)));
940 940

  
941
   zz196 = (mode = 2);
941
   zz196 = (mode_ = 2);
942 942

  
943 943
   zz161 = zz160;
944 944

  
......
1165 1165
         else zz89);
1166 1166
   (* Transition segment: trans21 complete. *)
1167 1167

  
1168
   zz202 = (mode = 3);
1168
   zz202 = (mode_ = 3);
1169 1169

  
1170 1170
   zz221 = 
1171 1171
      (if zz162
......
1408 1408
               3
1409 1409
         else zz40);
1410 1410

  
1411
   zz163 = (mode = 4);
1411
   zz163 = (mode_ = 4);
1412 1412

  
1413 1413
   zz187 = (cruiseThrottle = 0.0);
1414 1414

  
......
1459 1459
         then zz22
1460 1460
         else zz108);
1461 1461

  
1462
   mode = 
1462
   mode_ = 
1463 1463
      (if SP3c
1464 1464
         then 
1465 1465
               (if zz155
......
1603 1603
         then zz68
1604 1604
         else zz97);
1605 1605

  
1606
   zz164 = (mode = 5);
1606
   zz164 = (mode_ = 5);
1607 1607

  
1608 1608
   zz17 = 
1609 1609
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp04.lus
10 10

  
11 11
--@ contract guarantees OK;
12 12
var
13
   mode: int ; 
13
   mode_: int ; 
14 14
      cruiseThrottle: real; 
15 15
      desiredSpeed: real; 
16 16
      VRP1: bool; 
......
299 299

  
300 300
   zz156 = (0 -> (pre zz161));
301 301

  
302
   zz157 = (0 -> (pre mode));
302
   zz157 = (0 -> (pre mode_));
303 303

  
304 304
   zz159 = 
305 305
      (if SP3c
......
504 504

  
505 505
   zz204 = cruiseThrottle;
506 506

  
507
   zz165 = (mode = 6);
507
   zz165 = (mode_ = 6);
508 508

  
509 509
   SP7 = ((not zz165) or 
510 510
      zz208);
......
701 701

  
702 702
   zz194 = (desiredSpeed >= 15.0);
703 703

  
704
   zz197 = (mode = 1);
704
   zz197 = (mode_ = 1);
705 705

  
706 706
   VRP3 = (not zz237);
707 707

  
......
937 937
         then false
938 938
         else (pre zz155)));
939 939

  
940
   zz196 = (mode = 2);
940
   zz196 = (mode_ = 2);
941 941

  
942 942
   zz161 = zz160;
943 943

  
......
1164 1164
         else zz89);
1165 1165
   (* Transition segment: trans21 complete. *)
1166 1166

  
1167
   zz202 = (mode = 3);
1167
   zz202 = (mode_ = 3);
1168 1168

  
1169 1169
   zz221 = 
1170 1170
      (if zz162
......
1407 1407
               3
1408 1408
         else zz40);
1409 1409

  
1410
   zz163 = (mode = 4);
1410
   zz163 = (mode_ = 4);
1411 1411

  
1412 1412
   zz187 = (cruiseThrottle = 0.0);
1413 1413

  
......
1458 1458
         then zz22
1459 1459
         else zz108);
1460 1460

  
1461
   mode = 
1461
   mode_ = 
1462 1462
      (if SP3c
1463 1463
         then 
1464 1464
               (if zz155
......
1602 1602
         then zz68
1603 1603
         else zz97);
1604 1604

  
1605
   zz164 = (mode = 5);
1605
   zz164 = (mode_ = 5);
1606 1606

  
1607 1607
   zz17 = 
1608 1608
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp05.lus
10 10

  
11 11
--@ contract guarantees OK;
12 12
var
13
   mode: int ; 
13
   mode_: int ; 
14 14
      cruiseThrottle: real; 
15 15
      desiredSpeed: real; 
16 16
      VRP1: bool; 
......
299 299

  
300 300
   zz156 = (0 -> (pre zz161));
301 301

  
302
   zz157 = (0 -> (pre mode));
302
   zz157 = (0 -> (pre mode_));
303 303

  
304 304
   zz159 = 
305 305
      (if SP3c
......
504 504

  
505 505
   zz204 = cruiseThrottle;
506 506

  
507
   zz165 = (mode = 6);
507
   zz165 = (mode_ = 6);
508 508

  
509 509
   SP7 = ((not zz165) or 
510 510
      zz208);
......
701 701

  
702 702
   zz194 = (desiredSpeed >= 15.0);
703 703

  
704
   zz197 = (mode = 1);
704
   zz197 = (mode_ = 1);
705 705

  
706 706
   VRP3 = (not zz237);
707 707

  
......
937 937
         then false
938 938
         else (pre zz155)));
939 939

  
940
   zz196 = (mode = 2);
940
   zz196 = (mode_ = 2);
941 941

  
942 942
   zz161 = zz160;
943 943

  
......
1164 1164
         else zz89);
1165 1165
   (* Transition segment: trans21 complete. *)
1166 1166

  
1167
   zz202 = (mode = 3);
1167
   zz202 = (mode_ = 3);
1168 1168

  
1169 1169
   zz221 = 
1170 1170
      (if zz162
......
1407 1407
               3
1408 1408
         else zz40);
1409 1409

  
1410
   zz163 = (mode = 4);
1410
   zz163 = (mode_ = 4);
1411 1411

  
1412 1412
   zz187 = (cruiseThrottle = 0.0);
1413 1413

  
......
1458 1458
         then zz22
1459 1459
         else zz108);
1460 1460

  
1461
   mode = 
1461
   mode_ = 
1462 1462
      (if SP3c
1463 1463
         then 
1464 1464
               (if zz155
......
1602 1602
         then zz68
1603 1603
         else zz97);
1604 1604

  
1605
   zz164 = (mode = 5);
1605
   zz164 = (mode_ = 5);
1606 1606

  
1607 1607
   zz17 = 
1608 1608
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp06.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
   mode: int ; 
14
   mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP2: bool; 
......
300 300

  
301 301
   zz156 = (0 -> (pre zz161));
302 302

  
303
   zz157 = (0 -> (pre mode));
303
   zz157 = (0 -> (pre mode_));
304 304

  
305 305
   zz159 = 
306 306
      (if SP3c
......
505 505

  
506 506
   zz204 = cruiseThrottle;
507 507

  
508
   zz165 = (mode = 6);
508
   zz165 = (mode_ = 6);
509 509

  
510 510
   SP7 = ((not zz165) or 
511 511
      zz208);
......
702 702

  
703 703
   zz194 = (desiredSpeed >= 15.0);
704 704

  
705
   zz197 = (mode = 1);
705
   zz197 = (mode_ = 1);
706 706

  
707 707
   VRP3 = (not zz237);
708 708

  
......
938 938
         then false
939 939
         else (pre zz155)));
940 940

  
941
   zz196 = (mode = 2);
941
   zz196 = (mode_ = 2);
942 942

  
943 943
   zz161 = zz160;
944 944

  
......
1165 1165
         else zz89);
1166 1166
   (* Transition segment: trans21 complete. *)
1167 1167

  
1168
   zz202 = (mode = 3);
1168
   zz202 = (mode_ = 3);
1169 1169

  
1170 1170
   zz221 = 
1171 1171
      (if zz162
......
1408 1408
               3
1409 1409
         else zz40);
1410 1410

  
1411
   zz163 = (mode = 4);
1411
   zz163 = (mode_ = 4);
1412 1412

  
1413 1413
   zz187 = (cruiseThrottle = 0.0);
1414 1414

  
......
1459 1459
         then zz22
1460 1460
         else zz108);
1461 1461

  
1462
   mode = 
1462
   mode_ = 
1463 1463
      (if SP3c
1464 1464
         then 
1465 1465
               (if zz155
......
1603 1603
         then zz68
1604 1604
         else zz97);
1605 1605

  
1606
   zz164 = (mode = 5);
1606
   zz164 = (mode_ = 5);
1607 1607

  
1608 1608
   zz17 = 
1609 1609
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp07.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
mode: int ; 
14
mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP1: bool; 
......
301 301

  
302 302
   zz156 = (0 -> (pre zz161));
303 303

  
304
   zz157 = (0 -> (pre mode));
304
   zz157 = (0 -> (pre mode_));
305 305

  
306 306
   zz159 = 
307 307
      (if SP3c
......
506 506

  
507 507
   zz204 = cruiseThrottle;
508 508

  
509
   zz165 = (mode = 6);
509
   zz165 = (mode_ = 6);
510 510

  
511 511
   SP7 = ((not zz165) or 
512 512
      zz208);
......
703 703

  
704 704
   zz194 = (desiredSpeed >= 15.0);
705 705

  
706
   zz197 = (mode = 1);
706
   zz197 = (mode_ = 1);
707 707

  
708 708
   VRP3 = (not zz237);
709 709

  
......
939 939
         then false
940 940
         else (pre zz155)));
941 941

  
942
   zz196 = (mode = 2);
942
   zz196 = (mode_ = 2);
943 943

  
944 944
   zz161 = zz160;
945 945

  
......
1166 1166
         else zz89);
1167 1167
   (* Transition segment: trans21 complete. *)
1168 1168

  
1169
   zz202 = (mode = 3);
1169
   zz202 = (mode_ = 3);
1170 1170

  
1171 1171
   zz221 = 
1172 1172
      (if zz162
......
1409 1409
               3
1410 1410
         else zz40);
1411 1411

  
1412
   zz163 = (mode = 4);
1412
   zz163 = (mode_ = 4);
1413 1413

  
1414 1414
   zz187 = (cruiseThrottle = 0.0);
1415 1415

  
......
1460 1460
         then zz22
1461 1461
         else zz108);
1462 1462

  
1463
   mode = 
1463
   mode_ = 
1464 1464
      (if SP3c
1465 1465
         then 
1466 1466
               (if zz155
......
1604 1604
         then zz68
1605 1605
         else zz97);
1606 1606

  
1607
   zz164 = (mode = 5);
1607
   zz164 = (mode_ = 5);
1608 1608

  
1609 1609
   zz17 = 
1610 1610
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp08.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
   mode: int ; 
14
   mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP1: bool; 
......
300 300

  
301 301
   zz156 = (0 -> (pre zz161));
302 302

  
303
   zz157 = (0 -> (pre mode));
303
   zz157 = (0 -> (pre mode_));
304 304

  
305 305
   zz159 = 
306 306
      (if SP3c
......
505 505

  
506 506
   zz204 = cruiseThrottle;
507 507

  
508
   zz165 = (mode = 6);
508
   zz165 = (mode_ = 6);
509 509

  
510 510
   SP7 = ((not zz165) or 
511 511
      zz208);
......
702 702

  
703 703
   zz194 = (desiredSpeed >= 15.0);
704 704

  
705
   zz197 = (mode = 1);
705
   zz197 = (mode_ = 1);
706 706

  
707 707
   VRP3 = (not zz237);
708 708

  
......
938 938
         then false
939 939
         else (pre zz155)));
940 940

  
941
   zz196 = (mode = 2);
941
   zz196 = (mode_ = 2);
942 942

  
943 943
   zz161 = zz160;
944 944

  
......
1165 1165
         else zz89);
1166 1166
   (* Transition segment: trans21 complete. *)
1167 1167

  
1168
   zz202 = (mode = 3);
1168
   zz202 = (mode_ = 3);
1169 1169

  
1170 1170
   zz221 = 
1171 1171
      (if zz162
......
1408 1408
               3
1409 1409
         else zz40);
1410 1410

  
1411
   zz163 = (mode = 4);
1411
   zz163 = (mode_ = 4);
1412 1412

  
1413 1413
   zz187 = (cruiseThrottle = 0.0);
1414 1414

  
......
1459 1459
         then zz22
1460 1460
         else zz108);
1461 1461

  
1462
   mode = 
1462
   mode_ = 
1463 1463
      (if SP3c
1464 1464
         then 
1465 1465
               (if zz155
......
1603 1603
         then zz68
1604 1604
         else zz97);
1605 1605

  
1606
   zz164 = (mode = 5);
1606
   zz164 = (mode_ = 5);
1607 1607

  
1608 1608
   zz17 = 
1609 1609
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp09.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
   mode: int ; 
14
   mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP1: bool; 
......
300 300

  
301 301
   zz156 = (0 -> (pre zz161));
302 302

  
303
   zz157 = (0 -> (pre mode));
303
   zz157 = (0 -> (pre mode_));
304 304

  
305 305
   zz159 = 
306 306
      (if SP3c
......
505 505

  
506 506
   zz204 = cruiseThrottle;
507 507

  
508
   zz165 = (mode = 6);
508
   zz165 = (mode_ = 6);
509 509

  
510 510
   SP7 = ((not zz165) or 
511 511
      zz208);
......
702 702

  
703 703
   zz194 = (desiredSpeed >= 15.0);
704 704

  
705
   zz197 = (mode = 1);
705
   zz197 = (mode_ = 1);
706 706

  
707 707
   OK = (not zz237);
708 708

  
......
938 938
         then false
939 939
         else (pre zz155)));
940 940

  
941
   zz196 = (mode = 2);
941
   zz196 = (mode_ = 2);
942 942

  
943 943
   zz161 = zz160;
944 944

  
......
1165 1165
         else zz89);
1166 1166
   (* Transition segment: trans21 complete. *)
1167 1167

  
1168
   zz202 = (mode = 3);
1168
   zz202 = (mode_ = 3);
1169 1169

  
1170 1170
   zz221 = 
1171 1171
      (if zz162
......
1408 1408
               3
1409 1409
         else zz40);
1410 1410

  
1411
   zz163 = (mode = 4);
1411
   zz163 = (mode_ = 4);
1412 1412

  
1413 1413
   zz187 = (cruiseThrottle = 0.0);
1414 1414

  
......
1459 1459
         then zz22
1460 1460
         else zz108);
1461 1461

  
1462
   mode = 
1462
   mode_ = 
1463 1463
      (if SP3c
1464 1464
         then 
1465 1465
               (if zz155
......
1603 1603
         then zz68
1604 1604
         else zz97);
1605 1605

  
1606
   zz164 = (mode = 5);
1606
   zz164 = (mode_ = 5);
1607 1607

  
1608 1608
   zz17 = 
1609 1609
      (if (not (zz32 = 5))
regression_tests/lustre_files/success/kind_fmcad08/large/ccp10.lus
11 11

  
12 12
--@ contract guarantees OK;
13 13
var
14
   mode: int ; 
14
   mode_: int ; 
15 15
      cruiseThrottle: real; 
16 16
      desiredSpeed: real; 
17 17
      VRP1: bool; 
......
300 300

  
301 301
   zz156 = (0 -> (pre zz161));
302 302

  
303
   zz157 = (0 -> (pre mode));
303
   zz157 = (0 -> (pre mode_));
304 304

  
305 305
   zz159 = 
306 306
      (if SP3c
......
505 505

  
506 506
   zz204 = cruiseThrottle;
507 507

  
508
   zz165 = (mode = 6);
508
   zz165 = (mode_ = 6);
509 509

  
510 510
   SP7 = ((not zz165) or 
511 511
      zz208);
......
702 702

  
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff