Skip to content

Adapt according to nilness-checking changes in Gobra - #431

Draft
jcp19 wants to merge 3 commits into
masterfrom
strengthen-specs-nil
Draft

Adapt according to nilness-checking changes in Gobra#431
jcp19 wants to merge 3 commits into
masterfrom
strengthen-specs-nil

Merge branch 'master' into strengthen-specs-nil

c3e775e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar