Skip to content
Kani Performance Benchmarks

Define a struct-level #[safety_constraint(...)] attribute (#3270) #513

Sign in to view logs

Define a struct-level #[safety_constraint(...)] attribute (#3270)

Define a struct-level #[safety_constraint(...)] attribute (#3270) #513

Triggered via push July 31, 2024 15:58
@adpaco-awsadpaco-aws
pushed b5d306a
main
Status Success
Total duration 47m 47s
Artifacts –

bench.yml

on: push
perf-benchcomp
47m 37s
perf-benchcomp
Fit to window
Zoom out
Zoom in