Skip to content

Add support for while loops with invariants. (#13) #29

Add support for while loops with invariants. (#13)

Add support for while loops with invariants. (#13) #29

Triggered via push November 15, 2023 17:48
Status Success
Total duration 36s
Artifacts

ci.yml

on: push
Build and Test
29s
Build and Test
Fit to window
Zoom out
Zoom in