optionmap: fix set()
This longstanding issue caused some emptiness checks options to be ignored in the test suite, reducing coverage. * spot/misc/optionmap.cc (set): Insert the other keys without erasing the existing ones.
This commit is contained in:
parent
a3b9469d67
commit
74651c811d
1 changed files with 4 additions and 4 deletions
|
|
@ -1,5 +1,5 @@
|
||||||
// -*- coding: utf-8 -*-
|
// -*- coding: utf-8 -*-
|
||||||
// Copyright (C) 2008, 2013, 2014, 2015, 2016 Laboratoire de Recherche
|
// Copyright (C) 2008, 2013-2016, 2018 Laboratoire de Recherche
|
||||||
// et Développement de l'Epita (LRDE).
|
// et Développement de l'Epita (LRDE).
|
||||||
// Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
|
// Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
|
||||||
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
|
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
|
||||||
|
|
@ -174,9 +174,9 @@ namespace spot
|
||||||
void
|
void
|
||||||
option_map::set(const option_map& o)
|
option_map::set(const option_map& o)
|
||||||
{
|
{
|
||||||
options_ = o.options_;
|
options_.insert(o.options_.begin(), o.options_.end());
|
||||||
options_str_ = o.options_str_;
|
options_str_.insert(o.options_str_.begin(), o.options_str_.end());
|
||||||
unused_ = o.unused_;
|
unused_.insert(o.unused_.begin(), o.unused_.end());
|
||||||
}
|
}
|
||||||
|
|
||||||
int
|
int
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue