symex_coverage.cpp File Reference

Record and print code coverage of symbolic execution. More...

#include "symex_coverage.h"
#include <util/namespace.h>
#include <util/string2int.h>
#include <util/symbol.h>
#include <util/xml.h>
#include <goto-programs/goto_functions.h>
#include <langapi/language_util.h>
#include <linking/static_lifetime_init.h>
#include <chrono>
#include <ctime>
#include <fstream>
#include <iostream>

Include dependency graph for symex_coverage.cpp:

Go to the source code of this file.

Classes
class	coverage_recordt
class	goto_program_coverage_recordt
struct	goto_program_coverage_recordt::coverage_conditiont
struct	goto_program_coverage_recordt::coverage_linet

Functions
static std::string	rate (std::size_t covered, std::size_t total, bool per_cent=false)
static std::string	rate_detailed (std::size_t covered, std::size_t total, bool per_cent=false)

Detailed Description

Record and print code coverage of symbolic execution.

Definition in file symex_coverage.cpp.

Function Documentation

rate()

static std::string rate ( std::size_t  covered, std::size_t  total, bool  per_cent = false  )

static

Definition at line 100 of file symex_coverage.cpp.

rate_detailed()

static std::string rate_detailed ( std::size_t  covered, std::size_t  total, bool  per_cent = false  )

static

Definition at line 124 of file symex_coverage.cpp.