Rust Tests

Add loop contracts and harness for #5

Sign in to view logs

Triggered via push October 19, 2024 05:12

qinheping

loop-contracts/small_slice_eq

Status Success

Total duration 6m 27s

Artifacts –

rustc.yml

on: push

Matrix: build