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