Skip to content
Build Linux partially with CPROVER tools

[CONTRACTS] Check side effect of loop contracts during instrumentation #7533

Sign in to view logs

[CONTRACTS] Check side effect of loop contracts during instrumentation

[CONTRACTS] Check side effect of loop contracts during instrumentation #7533

Triggered via pull request July 22, 2024 07:15
@qinhepingqinheping
synchronize #8360
qinheping:feature/check_side_effect_during_instrumentation
Status Success
Total duration 4m 32s
Artifacts –

build-and-test-Linux.yaml

on: pull_request
CompileLinux
4m 22s
CompileLinux
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CompileLinux
No files were found with the provided path: CPROVER/faultyInput/*. No artifacts will be uploaded.