## lustrec/bench/distrib/large/ccp02/mutants/ccp02.mutant.n126.lus @ 50d06a28

1 | 50d06a28 | ploc | node top |
---|---|---|---|

2 | (onOff: bool; |
||

3 | decelSet: bool; |
||

4 | accelResume: bool; |
||

5 | cancel: bool; |
||

6 | brakePedal: bool; |
||

7 | carGear: int; |
||

8 | carSpeed: real; |
||

9 | validInputs: bool) |
||

10 | ```
returns
``` |
||

11 | (OK: bool); |
||

12 | |||

13 | ```
var
``` |
||

14 | V11_mode: int; |
||

15 | V14_VRP1: bool; |
||

16 | V15_VRP2: bool; |
||

17 | V16_CP8a: bool; |
||

18 | V17_VRP3: bool; |
||

19 | V18_VRP4: bool; |
||

20 | V19_SP4: bool; |
||

21 | V20_SP5: bool; |
||

22 | V21_SP6: bool; |
||

23 | V22_SP7: bool; |
||

24 | V23_SP3b: bool; |
||

25 | V25_SP3: bool; |
||

26 | V26_SP3a: bool; |
||

27 | V27_SP2: bool; |
||

28 | V28_SP1: bool; |
||

29 | V29_SP8: bool; |
||

30 | V30_SP9: bool; |
||

31 | V31_SP10: bool; |
||

32 | V32_SP11: bool; |
||

33 | V34_zz1: bool; |
||

34 | V35_zz2: real; |
||

35 | V37_zz4: bool; |
||

36 | V38_zz5: real; |
||

37 | V39_zz6: int; |
||

38 | V40_zz7: int; |
||

39 | V41_zz8: int; |
||

40 | V42_zz9: int; |
||

41 | V43_zz10: int; |
||

42 | V44_zz11: int; |
||

43 | V45_zz12: int; |
||

44 | V46_zz13: int; |
||

45 | V47_zz14: int; |
||

46 | V48_zz15: bool; |
||

47 | V49_zz16: int; |
||

48 | V50_zz17: int; |
||

49 | V51_zz18: int; |
||

50 | V52_zz19: bool; |
||

51 | V53_zz20: int; |
||

52 | V54_zz21: int; |
||

53 | V55_zz22: int; |
||

54 | V56_zz23: bool; |
||

55 | V57_zz24: bool; |
||

56 | V58_zz25: int; |
||

57 | V59_zz26: bool; |
||

58 | V60_zz27: bool; |
||

59 | V61_zz28: int; |
||

60 | V62_zz29: int; |
||

61 | V63_zz30: bool; |
||

62 | V64_zz31: bool; |
||

63 | V65_zz32: int; |
||

64 | V66_zz33: bool; |
||

65 | V67_zz34: int; |
||

66 | V68_zz35: int; |
||

67 | V69_zz36: bool; |
||

68 | V70_zz37: bool; |
||

69 | V71_zz38: int; |
||

70 | V72_zz39: bool; |
||

71 | V73_zz40: int; |
||

72 | V74_zz41: int; |
||

73 | V75_zz42: bool; |
||

74 | V76_zz43: bool; |
||

75 | V77_zz44: int; |
||

76 | V78_zz45: int; |
||

77 | V79_zz46: int; |
||

78 | V80_zz47: bool; |
||

79 | V81_zz48: bool; |
||

80 | V82_zz49: int; |
||

81 | V83_zz50: int; |
||

82 | V84_zz51: int; |
||

83 | V85_zz52: bool; |
||

84 | V86_zz53: int; |
||

85 | V87_zz54: int; |
||

86 | V88_zz55: int; |
||

87 | V89_zz56: bool; |
||

88 | V90_zz57: bool; |
||

89 | V91_zz58: int; |
||

90 | V92_zz59: int; |
||

91 | V93_zz60: int; |
||

92 | V94_zz61: int; |
||

93 | V95_zz62: int; |
||

94 | V96_zz63: int; |
||

95 | V97_zz64: bool; |
||

96 | V98_zz66: int; |
||

97 | V99_zz67: int; |
||

98 | V100_zz68: int; |
||

99 | V101_zz69: int; |
||

100 | V102_zz70: int; |
||

101 | V103_zz71: int; |
||

102 | V104_zz72: bool; |
||

103 | V105_zz73: bool; |
||

104 | V106_zz74: int; |
||

105 | V107_zz75: int; |
||

106 | V108_zz76: int; |
||

107 | V109_zz77: int; |
||

108 | V110_zz78: int; |
||

109 | V111_zz79: int; |
||

110 | V112_zz80: int; |
||

111 | V113_zz81: int; |
||

112 | V114_zz82: bool; |
||

113 | V115_zz83: int; |
||

114 | V116_zz84: int; |
||

115 | V117_zz85: int; |
||

116 | V118_zz86: int; |
||

117 | V119_zz87: bool; |
||

118 | V120_zz88: bool; |
||

119 | V121_zz89: int; |
||

120 | V122_zz90: bool; |
||

121 | V123_zz91: int; |
||

122 | V124_zz92: int; |
||

123 | V125_zz93: bool; |
||

124 | V126_zz94: bool; |
||

125 | V127_zz95: int; |
||

126 | V128_zz96: bool; |
||

127 | V129_zz97: int; |
||

128 | V130_zz98: int; |
||

129 | V131_zz99: bool; |
||

130 | V132_zz100: bool; |
||

131 | V133_zz101: int; |
||

132 | V134_zz102: int; |
||

133 | V135_zz103: int; |
||

134 | V136_zz104: bool; |
||

135 | V137_zz105: bool; |
||

136 | V138_zz106: int; |
||

137 | V139_zz107: bool; |
||

138 | V140_zz108: int; |
||

139 | V141_zz109: int; |
||

140 | V142_zz110: int; |
||

141 | V143_zz111: int; |
||

142 | V144_zz112: bool; |
||

143 | V145_zz113: int; |
||

144 | V146_zz114: int; |
||

145 | V147_zz115: int; |
||

146 | V148_zz116: bool; |
||

147 | V149_zz117: bool; |
||

148 | V150_zz118: int; |
||

149 | V151_zz119: int; |
||

150 | V152_zz120: int; |
||

151 | V153_zz121: int; |
||

152 | V154_zz122: int; |
||

153 | V155_zz123: int; |
||

154 | V156_zz124: int; |
||

155 | V157_zz125: int; |
||

156 | V158_zz126: int; |
||

157 | V159_zz127: int; |
||

158 | V160_zz128: bool; |
||

159 | V161_zz129: int; |
||

160 | V162_zz130: int; |
||

161 | V163_zz131: int; |
||

162 | V164_zz132: int; |
||

163 | V165_zz133: bool; |
||

164 | V166_zz134: int; |
||

165 | V167_zz135: int; |
||

166 | V168_zz136: int; |
||

167 | V169_zz137: int; |
||

168 | V170_zz138: bool; |
||

169 | V171_zz139: bool; |
||

170 | V172_zz140: int; |
||

171 | V173_zz141: bool; |
||

172 | V174_zz142: int; |
||

173 | V175_zz143: int; |
||

174 | V176_zz144: bool; |
||

175 | V177_zz145: bool; |
||

176 | V178_zz146: int; |
||

177 | V179_zz147: int; |
||

178 | V180_zz148: int; |
||

179 | V181_zz149: int; |
||

180 | V182_zz150: int; |
||

181 | V183_zz151: bool; |
||

182 | V184_zz152: bool; |
||

183 | V185_zz153: int; |
||

184 | V186_zz154: int; |
||

185 | V187_zz155: bool; |
||

186 | V188_zz156: int; |
||

187 | V189_zz157: int; |
||

188 | V190_zz158: bool; |
||

189 | V193_zz161: int; |
||

190 | V194_zz162: bool; |
||

191 | V198_zz166: int; |
||

192 | V199_zz167: int; |
||

193 | V200_zz168: int; |
||

194 | V201_zz169: int; |
||

195 | V202_zz170: int; |
||

196 | V203_zz171: bool; |
||

197 | V204_zz172: int; |
||

198 | V205_zz173: int; |
||

199 | V206_zz174: int; |
||

200 | V207_zz175: int; |
||

201 | V208_zz176: int; |
||

202 | V209_zz177: bool; |
||

203 | V211_zz179: bool; |
||

204 | V212_zz180: bool; |
||

205 | V213_zz181: bool; |
||

206 | V214_zz182: bool; |
||

207 | V216_zz184: bool; |
||

208 | V217_zz185: bool; |
||

209 | V218_zz186: bool; |
||

210 | V219_zz187: bool; |
||

211 | V220_zz188: bool; |
||

212 | V221_zz189: bool; |
||

213 | V222_zz190: real; |
||

214 | V223_zz191: bool; |
||

215 | V224_zz192: bool; |
||

216 | V225_zz193: bool; |
||

217 | V226_zz194: bool; |
||

218 | V227_zz195: bool; |
||

219 | V228_zz196: bool; |
||

220 | V229_zz197: bool; |
||

221 | V230_zz198: bool; |
||

222 | V231_zz199: bool; |
||

223 | V232_zz200: bool; |
||

224 | V233_zz201: bool; |
||

225 | V234_zz202: bool; |
||

226 | V235_zz203: bool; |
||

227 | V236_zz204: real; |
||

228 | V237_zz205: real; |
||

229 | V238_zz206: bool; |
||

230 | V239_zz207: bool; |
||

231 | V240_zz208: bool; |
||

232 | V241_zz209: bool; |
||

233 | V242_zz210: bool; |
||

234 | V243_zz211: real; |
||

235 | V244_zz212: bool; |
||

236 | V245_zz213: bool; |
||

237 | V246_zz214: bool; |
||

238 | V247_zz215: bool; |
||

239 | V248_zz216: bool; |
||

240 | V249_zz217: bool; |
||

241 | V250_zz218: real; |
||

242 | V251_zz219: real; |
||

243 | V252_zz220: real; |
||

244 | V253_zz221: real; |
||

245 | V254_zz222: real; |
||

246 | V255_zz223: real; |
||

247 | V256_zz224: real; |
||

248 | V257_zz225: real; |
||

249 | V258_zz226: real; |
||

250 | V259_zz227: real; |
||

251 | V260_zz228: real; |
||

252 | V261_zz229: real; |
||

253 | V262_zz230: real; |
||

254 | V263_zz231: bool; |
||

255 | V264_zz232: bool; |
||

256 | V265_zz233: bool; |
||

257 | V266_zz234: bool; |
||

258 | V267_zz235: bool; |
||

259 | V268_zz236: bool; |
||

260 | V269_zz237: bool; |
||

261 | V270_zz238: bool; |
||

262 | V271_zz239: bool; |
||

263 | |||

264 | ```
let
``` |
||

265 | OK = ((V98_zz66 = 4) or ((V98_zz66 = 5) or (V98_zz66 = 6))); |
||

266 | V11_mode = (if V187_zz155 then V186_zz154 else V182_zz150); |
||

267 | V14_VRP1 = (V264_zz232 and V263_zz231); |
||

268 | V15_VRP2 = (V266_zz234 and V265_zz233); |
||

269 | V16_CP8a = ((not V194_zz162) or V233_zz201); |
||

270 | V17_VRP3 = (not V269_zz237); |
||

271 | V18_VRP4 = ((V270_zz238 or V227_zz195) or V271_zz239); |
||

272 | V19_SP4 = ((not V235_zz203) or V226_zz194); |
||

273 | V20_SP5 = ((not V241_zz209) or V238_zz206); |
||

274 | V21_SP6 = ((not V248_zz216) or V239_zz207); |
||

275 | V22_SP7 = ((not V249_zz217) or V240_zz208); |
||

276 | V23_SP3b = ((not V230_zz198) or V232_zz200); |
||

277 | V25_SP3 = ((not V230_zz198) or V227_zz195); |
||

278 | V26_SP3a = ((not (not V241_zz209)) or (not V231_zz199)); |
||

279 | V27_SP2 = ((not (not V233_zz201)) or V219_zz187); |
||

280 | V28_SP1 = ((not (not V218_zz186)) or V219_zz187); |
||

281 | V29_SP8 = ((not V242_zz210) or V244_zz212); |
||

282 | V30_SP9 = ((not V246_zz214) or V247_zz215); |
||

283 | V31_SP10 = ((not V223_zz191) or V224_zz192); |
||

284 | V32_SP11 = ((not V225_zz193) or V226_zz194); |
||

285 | V34_zz1 = (true -> (if (pre (pre V249_zz217)) then false else (pre V34_zz1))) |
||

286 | ```
;
``` |
||

287 | V35_zz2 = ((if (V34_zz1 and (not V249_zz217)) then 0.000000E+00 else ( |
||

288 | V254_zz222 + 5.000000E-02)) -> (if (V34_zz1 and (not V249_zz217)) then |
||

289 | 0.000000E+00 else (if V249_zz217 then (V254_zz222 + 5.000000E-02) else (pre |
||

290 | V35_zz2)))); |
||

291 | V37_zz4 = (true -> (if (pre V248_zz216) then false else (pre V37_zz4))); |
||

292 | V38_zz5 = ((if (V37_zz4 and (not V248_zz216)) then 0.000000E+00 else ( |
||

293 | V254_zz222 - 5.000000E-02)) -> (if (V37_zz4 and (not V248_zz216)) then |
||

294 | 0.000000E+00 else (if V248_zz216 then (V254_zz222 - 5.000000E-02) else (pre |
||

295 | V38_zz5)))); |
||

296 | V39_zz6 = (if (not (V82_zz49 = 4)) then 4 else V82_zz49); |
||

297 | V40_zz7 = (if (not (V82_zz49 = 4)) then 4 else V79_zz46); |
||

298 | V41_zz8 = (if (V78_zz45 = 5) then 3 else V78_zz45); |
||

299 | V42_zz9 = (if (not (V77_zz44 = 4)) then 4 else V77_zz44); |
||

300 | V43_zz10 = (if (not (V77_zz44 = 4)) then 4 else V74_zz41); |
||

301 | V44_zz11 = (if (V73_zz40 = 6) then 3 else V73_zz40); |
||

302 | V45_zz12 = (if (not (V71_zz38 = 6)) then 6 else V71_zz38); |
||

303 | V46_zz13 = (if (not (V71_zz38 = 6)) then 5 else V68_zz35); |
||

304 | V47_zz14 = (if (V67_zz34 = 4) then 3 else V67_zz34); |
||

305 | V48_zz15 = (if (V67_zz34 = 4) then false else V66_zz33); |
||

306 | V49_zz16 = (if (not (V65_zz32 = 5)) then 5 else V65_zz32); |
||

307 | V50_zz17 = (if (not (V65_zz32 = 5)) then 6 else V62_zz29); |
||

308 | V51_zz18 = (if (V61_zz28 = 4) then 3 else V61_zz28); |
||

309 | V52_zz19 = (if (V61_zz28 = 4) then false else V60_zz27); |
||

310 | V53_zz20 = (if (not (V58_zz25 = 4)) then 4 else V58_zz25); |
||

311 | V54_zz21 = (if (not (V58_zz25 = 4)) then 4 else V141_zz109); |
||

312 | V55_zz22 = (if (V140_zz108 = 4) then 3 else V140_zz108); |
||

313 | V56_zz23 = (if (V140_zz108 = 4) then false else V139_zz107); |
||

314 | V57_zz24 = ((V140_zz108 = 4) and ((if ((V217_zz185 = true) = false) then 0 |
||

315 | else 1) <> 0)); |
||

316 | V58_zz25 = (if V57_zz24 then V55_zz22 else V140_zz108); |
||

317 | V59_zz26 = (if V57_zz24 then V56_zz23 else V139_zz107); |
||

318 | V60_zz27 = (if V57_zz24 then true else V59_zz26); |
||

319 | V61_zz28 = (if V57_zz24 then V53_zz20 else V58_zz25); |
||

320 | V62_zz29 = (if V57_zz24 then V54_zz21 else V141_zz109); |
||

321 | V63_zz30 = ((V61_zz28 = 4) and (((if ((V203_zz171 = true) = false) then 0 |
||

322 | else 1) <> 0) and (not V57_zz24))); |
||

323 | V64_zz31 = (V63_zz30 or V57_zz24); |
||

324 | V65_zz32 = (if V63_zz30 then V51_zz18 else V61_zz28); |
||

325 | V66_zz33 = (if V63_zz30 then V52_zz19 else V60_zz27); |
||

326 | V67_zz34 = (if V63_zz30 then V49_zz16 else V65_zz32); |
||

327 | V68_zz35 = (if V63_zz30 then V50_zz17 else V62_zz29); |
||

328 | V69_zz36 = ((V67_zz34 = 4) and (((if ((V209_zz177 = true) = false) then 0 |
||

329 | else 1) <> 0) and (not V64_zz31))); |
||

330 | V70_zz37 = (V69_zz36 or V64_zz31); |
||

331 | V71_zz38 = (if V69_zz36 then V47_zz14 else V67_zz34); |
||

332 | V72_zz39 = (if V69_zz36 then V48_zz15 else V66_zz33); |
||

333 | V73_zz40 = (if V69_zz36 then V45_zz12 else V71_zz38); |
||

334 | V74_zz41 = (if V69_zz36 then V46_zz13 else V68_zz35); |
||

335 | V75_zz42 = ((V73_zz40 = 6) and (((if ((V209_zz177 = false) = false) then 0 |
||

336 | else 1) <> 0) and (not V70_zz37))); |
||

337 | V76_zz43 = (V75_zz42 or V70_zz37); |
||

338 | V77_zz44 = (if V75_zz42 then V44_zz11 else V73_zz40); |
||

339 | V78_zz45 = (if V75_zz42 then V42_zz9 else V77_zz44); |
||

340 | V79_zz46 = (if V75_zz42 then V43_zz10 else V74_zz41); |
||

341 | V80_zz47 = ((V78_zz45 = 5) and (((if ((V203_zz171 = false) = false) then 0 |
||

342 | else 1) <> 0) and (not V76_zz43))); |
||

343 | V81_zz48 = (V80_zz47 or V76_zz43); |
||

344 | V82_zz49 = (if V80_zz47 then V41_zz8 else V78_zz45); |
||

345 | V83_zz50 = (if V80_zz47 then V39_zz6 else V82_zz49); |
||

346 | V84_zz51 = (if V80_zz47 then V40_zz7 else V79_zz46); |
||

347 | V85_zz52 = (if ((not V81_zz48) and (V83_zz50 = 4)) then false else V72_zz39); |
||

348 | V86_zz53 = (if (not (V88_zz55 = 4)) then 4 else V88_zz55); |
||

349 | V87_zz54 = (if (not (V88_zz55 = 4)) then 4 else V135_zz103); |
||

350 | V88_zz55 = (if (not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) then 3 else |
||

351 | V138_zz106); |
||

352 | V89_zz56 = ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) and ((V88_zz55 >= |
||

353 | 3) and (V88_zz55 <= 6))); |
||

354 | V90_zz57 = ((V91_zz58 = 4) or ((V91_zz58 = 5) or (V91_zz58 = 6))); |
||

355 | V91_zz58 = (if V89_zz56 then V86_zz53 else V88_zz55); |
||

356 | V92_zz59 = (if V89_zz56 then V87_zz54 else V135_zz103); |
||

357 | V93_zz60 = (if (V134_zz102 = 7) then 2 else V134_zz102); |
||

358 | V94_zz61 = (if (not (V96_zz63 = 4)) then 4 else V96_zz63); |
||

359 | V95_zz62 = (if (not (V96_zz63 = 4)) then 4 else V130_zz98); |
||

360 | V96_zz63 = (if (not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) then 3 else |
||

361 | V133_zz101); |
||

362 | V97_zz64 = ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((V96_zz63 >= |
||

363 | 3) and (V96_zz63 <= 6))); |
||

364 | V98_zz66 = (if V97_zz64 then V94_zz61 else V96_zz63); |
||

365 | V99_zz67 = (if V97_zz64 then V95_zz62 else V130_zz98); |
||

366 | V100_zz68 = (if (V129_zz97 = 8) then 2 else V129_zz97); |
||

367 | V101_zz69 = (if (not (V103_zz71 = 4)) then 4 else V103_zz71); |
||

368 | V102_zz70 = (if (not (V103_zz71 = 4)) then 4 else V124_zz92); |
||

369 | V103_zz71 = (if (not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) then 3 else |
||

370 | V127_zz95); |
||

371 | V104_zz72 = ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((V103_zz71 >= |
||

372 | 3) and (V103_zz71 <= 6))); |
||

373 | V105_zz73 = ((V106_zz74 = 4) or ((V106_zz74 = 5) or (V106_zz74 = 6))); |
||

374 | V106_zz74 = (if V104_zz72 then V101_zz69 else V103_zz71); |
||

375 | V107_zz75 = (if V104_zz72 then V102_zz70 else V124_zz92); |
||

376 | V108_zz76 = (if (V123_zz91 = 8) then 2 else V123_zz91); |
||

377 | V109_zz77 = (if (not (V121_zz89 = 8)) then 8 else V121_zz89); |
||

378 | V110_zz78 = (if (not (V121_zz89 = 8)) then 3 else V180_zz148); |
||

379 | V111_zz79 = (if (V116_zz84 = 6) then 3 else V116_zz84); |
||

380 | V112_zz80 = (if (V115_zz83 = 5) then 3 else V115_zz83); |
||

381 | V113_zz81 = (if (V179_zz147 = 4) then 3 else V179_zz147); |
||

382 | V114_zz82 = (if (V179_zz147 = 4) then false else V173_zz141); |
||

383 | V115_zz83 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V113_zz81 else |
||

384 | V179_zz147); |
||

385 | V116_zz84 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V112_zz80 else |
||

386 | V115_zz83); |
||

387 | V117_zz85 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V111_zz79 else |
||

388 | V116_zz84); |
||

389 | V118_zz86 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then 2 else |
||

390 | V117_zz85); |
||

391 | V119_zz87 = (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then V114_zz82 else |
||

392 | V173_zz141); |
||

393 | V120_zz88 = (((V179_zz147 >= 3) and (V179_zz147 <= 6)) and (not V218_zz186)); |
||

394 | V121_zz89 = (if V120_zz88 then V118_zz86 else V179_zz147); |
||

395 | V122_zz90 = (if V120_zz88 then V119_zz87 else V173_zz141); |
||

396 | V123_zz91 = (if V120_zz88 then V109_zz77 else V121_zz89); |
||

397 | V124_zz92 = (if V120_zz88 then V110_zz78 else V180_zz148); |
||

398 | V125_zz93 = ((V123_zz91 = 8) and ((((if ((V217_zz185 = true) = false) then 0 |
||

399 | else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) |
||

400 | and (not V120_zz88))); |
||

401 | V126_zz94 = (V125_zz93 or V120_zz88); |
||

402 | V127_zz95 = (if V125_zz93 then V108_zz76 else V123_zz91); |
||

403 | V128_zz96 = (if V125_zz93 then true else V122_zz90); |
||

404 | V129_zz97 = (if V125_zz93 then V106_zz74 else V127_zz95); |
||

405 | V130_zz98 = (if V125_zz93 then V107_zz75 else V124_zz92); |
||

406 | V131_zz99 = ((V129_zz97 = 8) and ((((if ((V212_zz180 = true) = false) then 0 |
||

407 | else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) |
||

408 | and (not V126_zz94))); |
||

409 | V132_zz100 = (V131_zz99 or V126_zz94); |
||

410 | V133_zz101 = (if V131_zz99 then V100_zz68 else V129_zz97); |
||

411 | V134_zz102 = (if V131_zz99 then V98_zz66 else V133_zz101); |
||

412 | V135_zz103 = (if V131_zz99 then V99_zz67 else V130_zz98); |
||

413 | V136_zz104 = ((V134_zz102 = 7) and ((((if ((V217_zz185 = true) = false) then |
||

414 | 0 else 1) <> 0) and ((if ((V218_zz186 = true) = false) then 0 else 1) <> 0)) |
||

415 | and (not V132_zz100))); |
||

416 | V137_zz105 = (V136_zz104 or V132_zz100); |
||

417 | V138_zz106 = (if V136_zz104 then V93_zz60 else V134_zz102); |
||

418 | V139_zz107 = (if V136_zz104 then true else V128_zz96); |
||

419 | V140_zz108 = (if V136_zz104 then V91_zz58 else V138_zz106); |
||

420 | V141_zz109 = (if V136_zz104 then V92_zz59 else V135_zz103); |
||

421 | V142_zz110 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= |
||

422 | 6))) then V83_zz50 else V140_zz108); |
||

423 | V143_zz111 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= |
||

424 | 6))) then V84_zz51 else V141_zz109); |
||

425 | V144_zz112 = (if ((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= |
||

426 | 6))) then V85_zz52 else V139_zz107); |
||

427 | V145_zz113 = (if (not (V147_zz115 = 7)) then 7 else V147_zz115); |
||

428 | V146_zz114 = (if (not (V147_zz115 = 7)) then 2 else V175_zz143); |
||

429 | V147_zz115 = (if (not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) then 2 else |
||

430 | V178_zz146); |
||

431 | V148_zz116 = ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) and (( |
||

432 | V147_zz115 >= 2) and (V147_zz115 <= 8))); |
||

433 | V149_zz117 = (((V150_zz118 >= 3) and (V150_zz118 <= 6)) or ((V150_zz118 = 7) |
||

434 | or (V150_zz118 = 8))); |
||

435 | V150_zz118 = (if V148_zz116 then V145_zz113 else V147_zz115); |
||

436 | V151_zz119 = (if V148_zz116 then V146_zz114 else V175_zz143); |
||

437 | V152_zz120 = (if (V174_zz142 = 1) then 0 else V174_zz142); |
||

438 | V153_zz121 = (if (not (V172_zz140 = 1)) then 1 else V172_zz140); |
||

439 | V154_zz122 = (if (not (V172_zz140 = 1)) then 1 else V189_zz157); |
||

440 | V155_zz123 = (if (V167_zz135 = 8) then 2 else V167_zz135); |
||

441 | V156_zz124 = (if (V166_zz134 = 7) then 2 else V166_zz134); |
||

442 | V157_zz125 = (if (V162_zz130 = 6) then 3 else V162_zz130); |
||

443 | V158_zz126 = (if (V161_zz129 = 5) then 3 else V161_zz129); |
||

444 | V159_zz127 = (if (V188_zz156 = 4) then 3 else V188_zz156); |
||

445 | V160_zz128 = (if (V188_zz156 = 4) then false else V190_zz158); |
||

446 | V161_zz129 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V159_zz127 |
||

447 | else V188_zz156); |
||

448 | V162_zz130 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V158_zz126 |
||

449 | else V161_zz129); |
||

450 | V163_zz131 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V157_zz125 |
||

451 | else V162_zz130); |
||

452 | V164_zz132 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then 2 else |
||

453 | V163_zz131); |
||

454 | V165_zz133 = (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then V160_zz128 |
||

455 | else V190_zz158); |
||

456 | V166_zz134 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V164_zz132 |
||

457 | else V188_zz156); |
||

458 | V167_zz135 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V156_zz124 |
||

459 | else V166_zz134); |
||

460 | V168_zz136 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V155_zz123 |
||

461 | else V167_zz135); |
||

462 | V169_zz137 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then 0 else |
||

463 | V168_zz136); |
||

464 | V170_zz138 = (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then V165_zz133 |
||

465 | else V190_zz158); |
||

466 | V171_zz139 = (((V188_zz156 >= 2) and (V188_zz156 <= 8)) and (not onOff)); |
||

467 | V172_zz140 = (if V171_zz139 then V169_zz137 else V188_zz156); |
||

468 | V173_zz141 = (if V171_zz139 then V170_zz138 else V190_zz158); |
||

469 | V174_zz142 = (if V171_zz139 then V153_zz121 else V172_zz140); |
||

470 | V175_zz143 = (if V171_zz139 then V154_zz122 else V189_zz157); |
||

471 | V176_zz144 = ((V174_zz142 = 1) and (onOff and (not V171_zz139))); |
||

472 | V177_zz145 = (V176_zz144 or V171_zz139); |
||

473 | V178_zz146 = (if V176_zz144 then V152_zz120 else V174_zz142); |
||

474 | V179_zz147 = (if V176_zz144 then V150_zz118 else V178_zz146); |
||

475 | V180_zz148 = (if V176_zz144 then V151_zz119 else V175_zz143); |
||

476 | V181_zz149 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= |
||

477 | 8))) then V142_zz110 else V179_zz147); |
||

478 | V182_zz150 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= |
||

479 | 8))) then V143_zz111 else V180_zz148); |
||

480 | V183_zz151 = (if ((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= |
||

481 | 8))) then V144_zz112 else V173_zz141); |
||

482 | V184_zz152 = ((V185_zz153 = 1) or ((V185_zz153 >= 2) and (V185_zz153 <= 8))); |
||

483 | V185_zz153 = (if (not (V188_zz156 = 1)) then 1 else V188_zz156); |
||

484 | V186_zz154 = (if (not (V188_zz156 = 1)) then 1 else V189_zz157); |
||

485 | V187_zz155 = (true -> (if (pre true) then false else (pre V187_zz155))); |
||

486 | V188_zz156 = (0 -> (pre V193_zz161)); |
||

487 | V189_zz157 = (0 -> (pre V11_mode)); |
||

488 | V190_zz158 = (false -> (pre V194_zz162)); |
||

489 | V193_zz161 = (if V187_zz155 then V185_zz153 else V181_zz149); |
||

490 | V194_zz162 = (if V187_zz155 then V190_zz158 else V183_zz151); |
||

491 | V198_zz166 = (if (0 >= V200_zz168) then 0 else V200_zz168); |
||

492 | V199_zz167 = (V201_zz169 + 1); |
||

493 | V200_zz168 = (if accelResume then V199_zz167 else 0); |
||

494 | V201_zz169 = (0 -> (pre V202_zz170)); |
||

495 | V202_zz170 = (if (V198_zz166 <= 20) then V198_zz166 else 20); |
||

496 | V203_zz171 = (V202_zz170 = 20); |
||

497 | V204_zz172 = (if (0 >= V206_zz174) then 0 else V206_zz174); |
||

498 | V205_zz173 = (V207_zz175 + 1); |
||

499 | V206_zz174 = (if decelSet then V205_zz173 else 0); |
||

500 | V207_zz175 = (0 -> (pre V208_zz176)); |
||

501 | V208_zz176 = (if (V204_zz172 <= 20) then V204_zz172 else 20); |
||

502 | V209_zz177 = (V208_zz176 = 20); |
||

503 | V211_zz179 = (true -> (pre accelResume)); |
||

504 | V212_zz180 = ((not V211_zz179) and accelResume); |
||

505 | V213_zz181 = (carGear = 3); |
||

506 | V214_zz182 = (carSpeed >= 1.500000E+01); |
||

507 | V216_zz184 = (true -> (pre decelSet)); |
||

508 | V217_zz185 = ((not V216_zz184) and decelSet); |
||

509 | V218_zz186 = (((((not cancel) and (not brakePedal)) and V213_zz181) and |
||

510 | V214_zz182) and validInputs); |
||

511 | V219_zz187 = (V236_zz204 = 0.000000E+00); |
||

512 | V220_zz188 = (V222_zz190 <> 1.000000E+02); |
||

513 | V221_zz189 = (false -> (pre V249_zz217)); |
||

514 | V222_zz190 = (if (V253_zz221 < 0.000000E+00) then 0.000000E+00 else (if ( |
||

515 | V253_zz221 > 1.000000E+02) then 1.000000E+02 else V253_zz221)); |
||

516 | V223_zz191 = (V221_zz189 and V220_zz188); |
||

517 | V224_zz192 = (V243_zz211 > V222_zz190); |
||

518 | V225_zz193 = (V222_zz190 <> 0.000000E+00); |
||

519 | V226_zz194 = (V222_zz190 >= 1.500000E+01); |
||

520 | V227_zz195 = (V222_zz190 = 0.000000E+00); |
||

521 | V228_zz196 = (V11_mode = 2); |
||

522 | V229_zz197 = (V11_mode = 1); |
||

523 | V230_zz198 = (V229_zz197 or V228_zz196); |
||

524 | V231_zz199 = ((if (V194_zz162 = false) then 0.000000E+00 else 1.000000E+00) = |
||

525 | 1.000000E+00); |
||

526 | V232_zz200 = (V255_zz223 = 0.000000E+00); |
||

527 | V233_zz201 = ((V241_zz209 or V248_zz216) or V249_zz217); |
||

528 | V234_zz202 = (V11_mode = 3); |
||

529 | V235_zz203 = (V233_zz201 or V234_zz202); |
||

530 | V236_zz204 = (if V233_zz201 then V258_zz226 else 0.000000E+00); |
||

531 | V237_zz205 = (0.000000E+00 -> (pre V236_zz204)); |
||

532 | V238_zz206 = (V237_zz205 = V236_zz204); |
||

533 | V239_zz207 = (V243_zz211 <= V222_zz190); |
||

534 | V240_zz208 = (V243_zz211 >= V222_zz190); |
||

535 | V241_zz209 = (V11_mode = 4); |
||

536 | V242_zz210 = (false -> (pre V241_zz209)); |
||

537 | V243_zz211 = (0.000000E+00 -> (pre V222_zz190)); |
||

538 | V244_zz212 = (V243_zz211 = V222_zz190); |
||

539 | V245_zz213 = (false -> (pre V248_zz216)); |
||

540 | V246_zz214 = (V245_zz213 and V225_zz193); |
||

541 | V247_zz215 = (V243_zz211 < V222_zz190); |
||

542 | V248_zz216 = (V11_mode = 5); |
||

543 | V249_zz217 = (V11_mode = 6); |
||

544 | V250_zz218 = (if V248_zz216 then V38_zz5 else V252_zz220); |
||

545 | V251_zz219 = (if V234_zz202 then V254_zz222 else 0.000000E+00); |
||

546 | V252_zz220 = (if V241_zz209 then V254_zz222 else V251_zz219); |
||

547 | V253_zz221 = (if V194_zz162 then carSpeed else V255_zz223); |
||

548 | V254_zz222 = (0.000000E+00 -> (pre V222_zz190)); |
||

549 | V255_zz223 = (if V249_zz217 then V35_zz2 else V250_zz218); |
||

550 | V256_zz224 = (0.000000E+00 -> (pre V236_zz204)); |
||

551 | V257_zz225 = (V262_zz230 + V256_zz224); |
||

552 | V258_zz226 = (if (V257_zz225 < 0.000000E+00) then 0.000000E+00 else (if ( |
||

553 | V257_zz225 > 1.000000E+02) then 1.000000E+02 else V257_zz225)); |
||

554 | V259_zz227 = (V222_zz190 - carSpeed); |
||

555 | V260_zz228 = (V259_zz227 * 1.000000E+00); |
||

556 | V261_zz229 = (if (V260_zz228 < -1.000000E+01) then -1.000000E+01 else (if ( |
||

557 | V260_zz228 > 1.000000E+01) then 1.000000E+01 else V260_zz228)); |
||

558 | V262_zz230 = (V261_zz229 / 2.000000E+01); |
||

559 | V263_zz231 = (V236_zz204 <= 1.000000E+02); |
||

560 | V264_zz232 = (V236_zz204 >= 0.000000E+00); |
||

561 | V265_zz233 = (V222_zz190 <= 1.000000E+02); |
||

562 | V266_zz234 = (V222_zz190 >= 0.000000E+00); |
||

563 | V267_zz235 = (V222_zz190 < 0.000000E+00); |
||

564 | V268_zz236 = (V222_zz190 > 0.000000E+00); |
||

565 | V269_zz237 = (V268_zz236 and V267_zz235); |
||

566 | V270_zz238 = (V222_zz190 = V243_zz211); |
||

567 | V271_zz239 = (V222_zz190 = carSpeed); |
||

568 | ```
tel
``` |