Skip to content
Test PR

Proved decidablity of TraceWise Equivocation #966

# to view logs

Proved decidablity of TraceWise Equivocation

Proved decidablity of TraceWise Equivocation #966

Triggered via push December 15, 2023 14:02
@traiansftraiansf
pushed b19afb9
tracewise-statewise-equivocation
Status Success
Total duration 4m 58s
Artifacts –

test-pr.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in