feat: restricted usage of func with loop inv in pure functions #406
Triggered via pull request
March 25, 2026 16:46
andreistefanescu
submitted
#570
Status
Skipped
Total duration
1s
Artifacts
–