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

Open

Shuvendu Lahiri (shuvendu-lahiri)

opened

on Apr 26, 2017

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).

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests