Kani Format Check

Use `box` in shadow memory test for reliable object count #7300

Sign in to view logs

Triggered via pull request July 24, 2024 19:44

tautschnig

opened #3380

tautschnig:shadow-test-use-box

Status Success

Total duration 3m 10s

Artifacts –

format-check.yml

on: pull_request