boolbvt::bv_get_rec is now independent of bitvector representation

Author: Daniel Kroening

src/solvers/flattening/boolbv_get.cpp

@@ -215,6 +215,7 @@ exprt boolbvt::bv_get_rec(
     }
   }
 
+  // most significant bit first
   std::string value;
 
   for(std::size_t bit_nr=offset; bit_nr<offset+width; bit_nr++)
@@ -263,7 +264,7 @@ exprt boolbvt::bv_get_rec(
   case bvtypet::IS_C_ENUM:
     {
       const irep_idt bvrep =
-        make_bvrep(width, [&value](size_t i) { return value[i] == '1'; });
+        make_bvrep(width, [&value](size_t i) { return value[value.size()-i-1] == '1'; });
       return constant_exprt(bvrep, type);
     }
   }