Skip to content
formal verification

improve arithmetic checks #65

Sign in to view logs

improve arithmetic checks

improve arithmetic checks #65

Triggered via push November 18, 2023 20:49
@0o-de-lally0o-de-lally
pushed 83b3ba7
improve-checks
Status Cancelled
Total duration 56s
Artifacts –

formal.yaml

on: push
formal
48s
formal
Fit to window
Zoom out
Zoom in

Annotations

2 errors
formal
The run was canceled by @0o-de-lally.
formal
The operation was canceled.