Kani Format Check

fixup! fixup! Codegen storage markers as assignments to __CPROVER_dea… #358

Sign in to view logs

Triggered via push June 21, 2024 14:19

tautschnig

cbmc-6

Status Success

Total duration 5m 16s

Artifacts –

format-check.yml

on: push