Project

General

Profile

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

View differences:

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))

Also available in: Unified diff