Kani Format Check

Implement proper function pointer handling for validity checks #8478

Sign in to view logs

Triggered via pull request October 17, 2024 00:33

celinval

synchronize #3606

celinval:issue-xxxx-valid_value

Status Success

Total duration 3m 12s

Artifacts –

format-check.yml

on: pull_request