Do not turn trivially diverging loops into assume(false) #305

Sign in to view logs

Triggered via push June 4, 2024 09:33

Status Success

Total duration 1m 2s

Artifacts –

audit.yml

on: push