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