Kani Format Check

Comment explaining StorageLive/StorageDead modelling #360

Sign in to view logs

Triggered via push June 24, 2024 10:01

tautschnig

cbmc-6

Status Success

Total duration 2m 39s

Artifacts –

format-check.yml

on: push