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