Back to pull request #188

Added `<dyn Trait>` Proof for Contracts for `byte_add`, `byte_sub`, and `byte_offset` #754

Sign in to view logs

Re-run triggered November 28, 2024 00:40

zhassan-aws

#188

stogaru:verify/ptr_byte_dyn

Status Success

Total duration 6m 19s

Artifacts –

rustc.yml

on: pull_request

Matrix: build