Implementation of invalid user input exception#5

Merged

chrisr-diffblue merged 3 commits intochrisr-diffblue:cbmc-bookwormfrom

NlightNFotis:custom_exception

Jul 17, 2018

Commits on Jul 4, 2018

Implementation of a erroneous user input exception class.
NlightNFotis
committed
Change the unstructured commits to invalid_user_input_exceptions and preconditions/invariants.
NlightNFotis
committed

Commits on Jul 6, 2018

Add a parse_options class for a better suited exception handling location
NlightNFotis
committed