Skip to content
Build Xen with CPROVER tools

[CONTRACTS] Use fresh converter in loop contracts instrumentation #9195

Sign in to view logs

[CONTRACTS] Use fresh converter in loop contracts instrumentation

[CONTRACTS] Use fresh converter in loop contracts instrumentation #9195

Triggered via pull request June 5, 2024 16:51
@qinhepingqinheping
synchronize #8282
qinheping:bugfixes/use_fresh_converter_in_contracts
Status Success
Total duration 11m 55s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
11m 43s
CompileXen
Fit to window
Zoom out
Zoom in