Extend boolean conversion to throw structured exceptions for other kinds of conversion error #2103
Labels
Comments
3 tasks
|
Some of them should probably be removed in favour of INVARIANTs of some kind. |
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 22, 2019
Byte-operator lowering no longer throws any exceptions, and thus don't need to attempt to catch them either. Remove the entire infrastructure built around these. Fixes: diffblue#2103
3 tasks
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 22, 2019
Byte-operator lowering no longer throws any exceptions, and thus don't need to attempt to catch them either. Remove the entire infrastructure built around these. Fixes: diffblue#2103
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 22, 2019
Byte-operator lowering no longer throws any exceptions, and thus don't need to attempt to catch them either. Remove the entire infrastructure built around these. Fixes: diffblue#2103
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 29, 2019
Byte-operator lowering no longer throws any exceptions, and thus don't need to attempt to catch them either. Remove the entire infrastructure built around these. Fixes: diffblue#2103 Fixes: diffblue#2104
tautschnig
added a commit
to tautschnig/cbmc
that referenced
this issue
May 30, 2019
Byte-operator lowering no longer throws any exceptions, and thus don't need to attempt to catch them either. Remove the entire infrastructure built around these. Fixes: diffblue#2103
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
convert_bitvectorcurrently throws an exception when something goes wrong with flatten_byte_extraction operations. This should be extended for other kinds of errors.The text was updated successfully, but these errors were encountered: