Add support to check which extern methods we are creating in Boogie

m-carrasco / TinyBCT

MIT License

3 stars 2 forks source link

Add support to check which extern methods we are creating in Boogie #32

Open rcastano opened 6 years ago

rcastano commented 6 years ago

It would be useful to check whether we are creating any extern methods in Boogie for methods missing from the input dll. Moreover, due to some bugs we found (https://github.com/m7nu3l/TinyBCT/issues/31), we also need to know which extern methods are created.