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
2 Violations found:
- (1) 00000000-0000-0000-0000-000000000002: The overlap/danger point distance ends at the WA 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/danger point distance must be corrected.
- (1) 00000000-0000-0000-0000-000000000004: The overlap/danger point distance ends at the WA 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/danger point distance must be corrected.
3 successful checks:
- (1) 00000000-0000-0000-0000-000000000001: The overlap/danger point distance ends at the WA 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/danger point distance ends at the WA 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/danger point distance ends at the WA 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
1 successful checks:
- (1) 00000000-0000-0000-0000-000000000006: The overlap/hazard point distance ends at the danger 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
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: 575 ms
ProB Version: 1.15.0-nightly (98dd87dc3e8dd9af46001561110c76720bc3ac8d)
Generated on 25/6/2025 at 9:09