Rule Validation Report

Checked machine: PlanPro_validation_en.rmch
With context: mwe-planpro-622.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 [Conflict point (end of overlap) at a beginning of a switch]  
B21E6550-C876-4128-934E-553C0A76CDFD
  FAIL (94 ms)
2 Violations found:
  • (1) 00000000-0000-0000-0000-000000000002: The overlap/conflict point distance ends at the switch coming from the tip. The associated group object does not end at a distance of zero from the referenced switch component. The location of the overlap/conflict point distance must be corrected.
  • (1) 00000000-0000-0000-0000-000000000004: The overlap/conflict point distance ends at the switch coming from the tip. The associated group object does not end at a distance of zero from the referenced switch component. The location of the overlap/conflict point distance must be corrected.
3 successful checks:
  • (1) 00000000-0000-0000-0000-000000000001: The overlap/conflict point distance ends at the switch coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
  • (1) 00000000-0000-0000-0000-000000000003: The overlap/conflict point distance ends at the switch coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
  • (1) 00000000-0000-0000-0000-000000000005: The overlap/conflict point distance ends at the switch coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
1 unchecked items:
  • (1) 00000000-0000-0000-0000-000000000006
Route_ID88 [Conflict point (end of overlap) at an identifiable point]  
A011F1E5-6107-425B-9AAB-9FF1F0E9068B
  SUCCESS (18 ms)
1 successful checks:
  • (1) 00000000-0000-0000-0000-000000000006: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0000-000000010000).
5 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
Route_ID7 [Comparison nominal/actual length of the overlap or conflict point distance]  
EBE51BED-7413-4CE4-BB92-6ADF9C79E8FE
  SUCCESS (18 ms)
6 successful checks:
  • (1) 00000000-0000-0000-0000-000000000001: The actual length of the overlap (333.323 + 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 (167.377 + 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 (167.89 + 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 (167.69 + 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 (666.646 + 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 (666.646 + 0.1) is equal to or greater than the nominal length (0.0).
Check finished after: 463 ms
ProB Version: 1.15.1-nightly (0c2f760978c585c8ff30bab1cf0d78262975d95b)
Generated on 3/11/2025 at 11:22