cprover
format_number_range.cpp File Reference

Format vector of numbers into a compressed range. More...

#include <algorithm>
#include <cassert>
#include <string>
#include "format_number_range.h"
Include dependency graph for format_number_range.cpp:

Go to the source code of this file.

Functions

std::string format_number_range (std::vector< unsigned > &numbers)
 create shorter representation for output More...
 

Detailed Description

Format vector of numbers into a compressed range.

Definition in file format_number_range.cpp.

Function Documentation

◆ format_number_range()

std::string format_number_range ( std::vector< unsigned > &  numbers)

create shorter representation for output

Parameters
parametersvector of numbers
Returns
string of compressed number range representation

Definition at line 21 of file format_number_range.cpp.

References to_string().

Referenced by cover_basic_blockst::update_covered_lines().