This repository has been archived by the owner on Jul 8, 2024. It is now read-only.
This repository has been archived by the owner on Jul 8, 2024. It is now read-only.
SMV-AV: Li2Bpl skips procedures that crash during translation #22
Open
Description
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).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
No labels