108 lines
2.5 KiB
Plaintext
108 lines
2.5 KiB
Plaintext
exploit brake_pads(a)=
|
|
preconditions:
|
|
quality:a,brake_months>=6;
|
|
quality:a,brake_vio=false;
|
|
postconditions:
|
|
update quality:a,brake_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit exhaust_pipes(a)=
|
|
preconditions:
|
|
quality:a,exhaust_months>=12;
|
|
quality:a,exhaust_vio=false;
|
|
postconditions:
|
|
update quality:a,compliance_vios+=1;
|
|
update quality:a,exhaust_vio=true;
|
|
.
|
|
|
|
exploit ac_filter(a)=
|
|
preconditions:
|
|
quality:a,ac_odometer>=12000;
|
|
quality:a,ac_vio=false;
|
|
postconditions:
|
|
update quality:a,compliance_vios+=1;
|
|
update quality:a,ac_vio=true;
|
|
.
|
|
|
|
exploit vacuum_pump(a)=
|
|
preconditions:
|
|
quality:a,vacuum_odometer>=120000;
|
|
quality:a,engine=diesel;
|
|
quality:a,vacuum_vio=false;
|
|
postconditions:
|
|
update quality:a,compliance_vios+=1;
|
|
update quality:a,vacuum_vio=true;
|
|
.
|
|
|
|
exploit engine_oil(a)=
|
|
preconditions:
|
|
quality:a,oil_odom>=6000;
|
|
quality:a,oil_vio=false;
|
|
postconditions:
|
|
update quality:a,oil_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit driveshaft_boots(a)=
|
|
preconditions:
|
|
quality:a,driveshaft_odom>=12000;
|
|
quality:a,driveshaft_vio=false;
|
|
postconditions:
|
|
update quality:a,driveshaft_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit engine_coolant(a)=
|
|
preconditions:
|
|
quality:a,coolant_odom>=24000;
|
|
quality:a,coolant_vio=false;
|
|
postconditions:
|
|
update quality:a,coolant_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit parking_brake(a)=
|
|
preconditions:
|
|
quality:a,parkingbrake_months>=6;
|
|
quality:a,parkingbrake_vio=false;
|
|
postconditions:
|
|
update quality:a,parkingbrake_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit brake_pipes(a)=
|
|
preconditions:
|
|
quality:a,brakepipe_months>=12;
|
|
quality:a,brakepipe_vio=false;
|
|
postconditions:
|
|
update quality:a,brakepipe_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
exploit brake_hoses(a)=
|
|
preconditions:
|
|
quality:a,brakehoses_months>=12;
|
|
quality:a,brakehoses_vio=false;
|
|
postconditions:
|
|
update quality:a,brakehoses_vio=true;
|
|
update quality:a,compliance_vios+=1;
|
|
.
|
|
|
|
time group exploit time_advance(a)=
|
|
preconditions:
|
|
quality:a,TIME_ADVANCE_STEP<13;
|
|
postconditions:
|
|
update quality:a,brake_months+=1;
|
|
update quality:a,vacuum_odometer+=10000;
|
|
update quality:a,ac_odometer+=10000;
|
|
update quality:a,exhaust_months+=1;
|
|
update quality:a,oil_odom+=10000;
|
|
update quality:a,driveshaft_odom+=10000;
|
|
update quality:a,coolant_odom+=10000;
|
|
update quality:a,parkingbrake_months+=1;
|
|
update quality:a,brakepipe_months+=1;
|
|
update quality:a,brakehoses_months+=1;
|
|
update quality:a,TIME_ADVANCE_STEP+=1;
|
|
.
|