James McCoy 27a7a4d384 Use abort() instead of assert(false) for things that should never happen ...

assert() is compiled out for release builds, but we don't want to
continue running in these impossible situations.

This also resolves the "implicit fallthrough" warnings for the asserts
in switch cases.

2021-01-31 11:28:52 -05:00

..

klee

Use abort() instead of assert(false) for things that should never happen

2021-01-31 11:28:52 -05:00