search

m-carrasco / TinyBCT

MIT License
3 stars 2 forks source link

Real type in BCT and TinyBCT #24

Open m-carrasco opened 6 years ago

m-carrasco commented 6 years ago

BCT models Real type as a new type declared in their Prelude. In TinyBCT we are using the real type supported by the Boogie language.

Not sure if we have seen how BCT works on this type.