Rule Validation Report

Checked machine: PlanPro_validation_en.rmch
With context: mwe-planpro-88.xml

Total number of rules: 3
Number of checked rules: 3
Number of successful rules: 2
Number of failed rules: 1
Number of disabled rules: 0

ROUTE (3)
Route_ID622 [Group end of an overlap/danger point distance at WA]  
B21E6550-C876-4128-934E-553C0A76CDFD
  SUCCESS (25 ms)
9 unchecked items:
  • (1) 00000000-0000-0000-0000-000000000001
  • (1) 00000000-0000-0000-0000-000000000002
  • (1) 00000000-0000-0000-0000-000000000003
  • (1) 00000000-0000-0000-0000-000000000004
  • (1) 00000000-0000-0000-0000-000000000005
  • (1) 00000000-0000-0000-0000-000000000006
  • (1) 00000000-0000-0000-0000-000000000007
  • (1) 00000000-0000-0000-0000-000000000008
  • (1) 00000000-0000-0000-0000-000000000009
⚠ Route_ID88 [End of the group of an overlap/danger point distance at a distinct point]  
A011F1E5-6107-425B-9AAB-9FF1F0E9068B
  FAIL (34 ms)
3 Violations found:
  • (1) 00000000-0000-0000-0000-000000000004: The overlap/hazard point distance does not end at the danger point specified as the target (00000000-0000-0000-0002-000000000003). The location of the overlap/danger point distance must be corrected.
  • (1) 00000000-0000-0000-0000-000000000005: The overlap/hazard point distance does not end at the danger point specified as the target (00000000-0000-0000-0002-000000000002). The location of the overlap/danger point distance must be corrected.
  • (1) 00000000-0000-0000-0000-000000000006: The overlap/hazard point distance does not end at the danger point specified as the target (00000000-0000-0000-0002-000000000004). The location of the overlap/danger point distance must be corrected.
5 successful checks:
  • (1) 00000000-0000-0000-0000-000000000001: The overlap/hazard point distance ends at the danger point specified as the target (00000000-0000-0000-0002-000000000001).
  • (1) 00000000-0000-0000-0000-000000000002: The overlap/hazard point distance ends at the danger point specified as the target (00000000-0000-0000-0002-000000000001).
  • (1) 00000000-0000-0000-0000-000000000003: The overlap/hazard point distance ends at the danger point specified as the target (00000000-0000-0000-0002-000000000002).
  • (1) 00000000-0000-0000-0000-000000000007: The overlap/hazard point distance ends at the danger point specified as the target (00000000-0000-0000-0002-000000000005).
  • (1) 00000000-0000-0000-0000-000000000008: The overlap/hazard point distance ends at the danger point specified as the target (00000000-0000-0000-0002-000000000001).
1 unchecked items:
  • (1) 00000000-0000-0000-0000-000000000009
Route_ID7 [Comparison nominal/actual length of the overlap or danger point distance]  
EBE51BED-7413-4CE4-BB92-6ADF9C79E8FE
  SUCCESS (23 ms)
9 successful checks:
  • (1) 00000000-0000-0000-0000-000000000001: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000002: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000003: The actual length of the overlap (7.0 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000004: The actual length of the overlap (6.0 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000005: The actual length of the overlap (1.0 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000006: The actual length of the overlap (1.0 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000007: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000008: The actual length of the overlap (7.001999999999999 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 00000000-0000-0000-0000-000000000009: The actual length of the overlap (3.001 + 0.1) is equal to or greater than the nominal length (0.0).
Check finished after: 273 ms
ProB Version: 1.15.0-nightly (98dd87dc3e8dd9af46001561110c76720bc3ac8d)
Generated on 25/6/2025 at 9:09