Skip to content
formal verification

Fix typos improved clarity #5426

Sign in to view logs

Fix typos improved clarity

Fix typos improved clarity #5426

Triggered via pull request November 27, 2024 23:48
@DanyylkaDanyylka
synchronize #5326
Danyylka:master
Status Success
Total duration 1m 3s
Artifacts –

formal-verification.yml

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