int res;
do {
+ xbt_assert(type != nullptr);
switch (type->type) {
case DW_TAG_unspecified_type:
return 1;
// TODO, make this a field of ModelChecker or something similar
if (state_comparator == nullptr)
- state_comparator = std::unique_ptr<StateComparator>(new StateComparator());
+ state_comparator.reset(new StateComparator());
else
state_comparator->clear();