CI

Add support for while loops with invariants. #28

Sign in to view logs

Triggered via pull request November 15, 2023 17:48

parno

synchronize #13

while-invariants

Status Success

Total duration 31s

Artifacts –

ci.yml

on: pull_request