[TG-2922] Improve logging for byte flatten exceptions#2046

Merged

thk123 merged 12 commits intodiffblue:developfrom

thk123:gs_tg2922

Apr 24, 2018

Commits on Apr 23, 2018

Introduce nested exception printing

svorenova
authored and
thk123
committed
Convert flatten_byte_extract to use structured exceptions
thk123
committed
Introduce throwing bv_conversion expection
thk123
committed
Introduce throwing a guard conversion exception
thk123
committed
Provide the original goto statement in the error
thk123
committed
Disable nested exception printing for Windows
thk123
committed
Test demonstrating logging with clause for dealing with Windows
thk123
committed
Add documentation to convert_bitvector
thk123
committed
Introduce exceptions for all conversion steps.
thk123
committed
Use format rather than from_expr for output
thk123
committed
Remove redundant default constructor
thk123
committed
Reformatting touched output function
thk123
committed