Skip to content
formal verification

Add clear function to Enumerable{Set,Map} #6032

Sign in to view logs

Add clear function to Enumerable{Set,Map}

Add clear function to Enumerable{Set,Map} #6032

Triggered via pull request February 4, 2025 19:42
@AmxxAmxx
synchronize #5486
arr00:feat/clear-enumerable-set
Status Success
Total duration 56s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
47s
halmos
Fit to window
Zoom out
Zoom in