Project

General

Profile

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

View differences:

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

Also available in: Unified diff