Translate exceptions from C++ API into Rust `Result` types.#7511

Merged

NlightNFotis merged 2 commits intodiffblue:developfrom

NlightNFotis:rust_api_exceptions_to_results

Feb 2, 2023

Commits on Feb 1, 2023

Add translation of CBMC exceptions to the Rust Result type
NlightNFotis
committed

Commits on Feb 2, 2023

Add documentation for helper functions and make tests assert instead of print
NlightNFotis
committed