This repository was archived by the owner on Jul 8, 2024. It is now read-only.
This repository was archived by the owner on Jul 8, 2024. It is now read-only.
SMV-AV: Li2Bpl skips procedures that crash during translation #22
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).