search

m-carrasco / TinyBCT

MIT License
3 stars 2 forks source link

Unify null name with BCT #49

Open rcastano opened 6 years ago

rcastano commented 6 years ago

I think BCT uses 'NULL' whereas we use 'null'. This might create issues with angelic verification.