cprover
|
Format vector of numbers into a compressed range. More...
#include <string>
#include <vector>
Go to the source code of this file.
Functions | |
std::string | format_number_range (std::vector< unsigned > &) |
create shorter representation for output More... | |
Format vector of numbers into a compressed range.
Definition in file format_number_range.h.
std::string format_number_range | ( | std::vector< unsigned > & | numbers | ) |
create shorter representation for output
parameters | vector of numbers |
Definition at line 21 of file format_number_range.cpp.
References to_string().
Referenced by cover_basic_blockst::update_covered_lines().