Kani Format Check

fixup! Codegen storage markers as assignments to __CPROVER_dead_object #354

Sign in to view logs

Triggered via push June 21, 2024 13:12

tautschnig

cbmc-6

Status Success

Total duration 1m 55s

Artifacts –

format-check.yml

on: push