search

m-carrasco / TinyBCT

MIT License
3 stars 2 forks source link

Local variables initialization #26

Closed m-carrasco closed 6 years ago

m-carrasco commented 6 years ago

If they are not explictly initialized, they are not initialized in the boogie code.

m-carrasco commented 6 years ago

Currently they are forced to initialize. We could add a setting about this feature.