Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/ccp21.lus

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/ccp21.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))

Also available in: Unified diff