Merge pull request diffblue#349 from diffblue/owen-jones-diffblue/fix…

…-compilation-for-release Replace assert(X) by UNREACHABLE/INVARIANT(X)
NathanJPhillips · Mar 9, 2018 · 906aeb3 · 906aeb3
2 parents 3d8423c + 3fd28f3
commit 906aeb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solvers/flattening/boolbv_get.cpp b/src/solvers/flattening/boolbv_get.cpp
@@ -233,7 +233,7 @@ exprt boolbvt::bv_get_rec(
        case tvt::tv_enumt::TV_FALSE: ch='0'; break;
        case tvt::tv_enumt::TV_TRUE:  ch='1'; break;
        case tvt::tv_enumt::TV_UNKNOWN: ch='0'; break;
-       default: assert(false);
+       default: UNREACHABLE;
       }
     }