Kani Format Check

Add tests for core function with loops #7080

Sign in to view logs

Triggered via pull request July 9, 2024 17:58

qinheping

opened #3334

qinheping:features/loop-contracts-std

Status Failure

Total duration 3m 9s

Artifacts –

format-check.yml

on: pull_request

Annotations

1 error

format-check

Process completed with exit code 123.