Skip to content

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

Do not turn trivially diverging loops into assume(false)

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

Triggered via pull request June 8, 2024 04:55
Status Success
Total duration 1m 8s
Artifacts

audit.yml

on: pull_request
Fit to window
Zoom out
Zoom in