ci/verification-stg-hierarchy/duplicator-hier-csc.stg.result.ref
Combined check: true
Consistency: true
Deadlock freeness: true
Input properness: true
Output persistency: true
Output determinacy: true
CSC: true
USC: true
Absence of local self-triggering: true
DI interface: true
Normalcy: false
Mutex implementability: null