search

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.
MIT License
9 stars 11 forks source link

SMV-AV: Li2Bpl skips procedures that crash during translation #22

Open shuvendu-lahiri opened 7 years ago

shuvendu-lahiri commented 7 years ago

It would be good to have an option for li2bpl that translates li files to bpl files, that can allow li2bpl to avoid translating the subset of procedures whose translation crashes (but can be caught).