Skip to content

Formatstrings#254

Merged
sipma merged 4 commits into
static-analysis-engineering:masterfrom
sipma:formatstrings
Jul 3, 2026
Merged

Formatstrings#254
sipma merged 4 commits into
static-analysis-engineering:masterfrom
sipma:formatstrings

CHB: generate proof obligations from postconditions

980ff3b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Compile and test CodeHawk (5.2.0)
succeeded Jul 3, 2026 in 3m 33s