search

AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial
Other
55 stars 16 forks source link

From UINT_MAX to SIZE_MAX (or len) #34

Closed AllanBlanchard closed 3 years ago

AllanBlanchard commented 3 years ago

Close #33

Thanks @wizeman for the initial PR and for finding this problem :)