Kani Format Check

Add two Boogie tests #358

Sign in to view logs

Triggered via push December 6, 2023 00:49

zhassan-aws

boogie-tests

Status Success

Total duration 1m 58s

Artifacts –

format-check.yml

on: push