search

manavpatnaik / frama-c-problems

A repository dedicated for problems related to verification of programs using the tool frama-c.
3 stars 0 forks source link

Assert statement wrong - check occurance of evens function #3

Closed cyberwizard1001 closed 4 years ago

cyberwizard1001 commented 4 years ago

image

Shouldn't this assert be 0? The array has a odd element and if an odd element is present, the function will return 0.
manavpatnaik commented 4 years ago

Yes. Will change.