Skip to content
Run GOTO Transcoder (ESBMC)

Move std-analysis.sh script from Kani repository #8

Sign in to view logs

Move std-analysis.sh script from Kani repository

Move std-analysis.sh script from Kani repository #8

Triggered via push March 3, 2025 12:48
@tautschnigtautschnig
pushed b30d70d
move-metrics-script
Status Success
Total duration 13m 51s
Artifacts –

goto-transcoder.yml

on: push
Verify contracts with goto-transcoder
13m 37s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in