Skip to content
Run GOTO Transcoder (ESBMC)

Add loop invariants and harnesses for some ascii functions #952

Sign in to view logs

Add loop invariants and harnesses for some ascii functions

Add loop invariants and harnesses for some ascii functions #952

Triggered via pull request August 22, 2025 17:13
@thanhnguyen-awsthanhnguyen-aws
synchronize #452
thanhnguyen-aws:asciiinvariant
Status Failure
Total duration 5m 35s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
5m 30s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify contracts with goto-transcoder
Process completed with exit code 1.