Skip to content
Back to pull request #1116

SV-COMP 2025: Update the processing of output of Hornix #889

Sign in to view logs

SV-COMP 2025: Update the processing of output of Hornix

SV-COMP 2025: Update the processing of output of Hornix #889

Triggered via pull request November 21, 2024 08:12
@blishkoblishko
opened #1116
blishko:hornix-update
Status Success
Total duration 22s
Artifacts –

black.yml

on: pull_request
check
12s
check
Fit to window
Zoom out
Zoom in