ctest.cpp File Reference

#include <goto-symex/testgen/ctest.h>
#include <goto-symex/equation/slice.h>
#include <goto-symex/testgen/test_gen_guard.h>
#include <goto-symex/witness/witnesses.h>
#include <ac_config.h>
#include <langapi/mode.h>
#include <solvers/smt/smt_conv.h>
#include <util/base/prefix.h>
#include <util/message/format.h>
#include <irep2/irep2_expr.h>
#include <boost/date_time/posix_time/posix_time.hpp>
#include <cstdio>
#include <filesystem>
#include <fstream>
#include <unordered_set>
#include <algorithm>
#include <map>

Include dependency graph for ctest.cpp:

Typedefs
using	type_values_t = std::map<std::string, std::vector<std::string>>
using	c_types_t = std::map<std::string, std::string>

Functions
static bool	is_cpp_source (const std::string &filename)
static bool	is_cuda_source (const std::string &filename)
static bool	any_cpp_source (const std::vector< std::string > &filenames)
static bool	any_cuda_source (const std::vector< std::string > &filenames)
static std::vector< std::filesystem::path >	all_outputs (const std::filesystem::path &out_dir, const std::vector< std::string > &test_files)
static bool	begin_generation (const std::filesystem::path &out_dir, const std::vector< std::string > &test_files)
static void	write_nondet_functions (std::ofstream &out, const type_values_t &type_values, const c_types_t &c_types, const std::string &bool_keyword)
static void	write_c_test_file (const std::filesystem::path &path, const type_values_t &type_values, const c_types_t &c_types, size_t index=0, size_t total=0)
static void	write_cpp_test_file (const std::filesystem::path &path, const type_values_t &type_values, const c_types_t &c_types, size_t index=0, size_t total=0)
static void	write_verifier_header (const std::filesystem::path &out_dir)
static std::string	sources_to_cmake_list (const std::vector< std::string > &srcs)
static void	write_cmake (bool cpp_mode, bool cuda_mode, const std::filesystem::path &out_dir, const std::string &project_name, const std::vector< std::string > &src_files, const std::vector< std::string > &target_names, const std::vector< std::string > &test_files)

Typedef Documentation

c_types_t

using c_types_t = std::map<std::string, std::string>

type_values_t

using type_values_t = std::map<std::string, std::vector<std::string>>

Function Documentation

all_outputs()

std::vector< std::filesystem::path > all_outputs ( const std::filesystem::path & out_dir, const std::vector< std::string > & test_files )

static

any_cpp_source()

bool any_cpp_source ( const std::vector< std::string > & filenames )

static

any_cuda_source()

bool any_cuda_source ( const std::vector< std::string > & filenames )

static

begin_generation()

bool begin_generation ( const std::filesystem::path & out_dir, const std::vector< std::string > & test_files )

static

is_cpp_source()

bool is_cpp_source ( const std::string & filename )

static

is_cuda_source()

bool is_cuda_source ( const std::string & filename )

static

sources_to_cmake_list()

std::string sources_to_cmake_list ( const std::vector< std::string > & srcs )

static

write_c_test_file()

void write_c_test_file ( const std::filesystem::path & path, const type_values_t & type_values, const c_types_t & c_types, size_t index = 0, size_t total = 0 )

static

write_cmake()

void write_cmake ( bool cpp_mode, bool cuda_mode, const std::filesystem::path & out_dir, const std::string & project_name, const std::vector< std::string > & src_files, const std::vector< std::string > & target_names, const std::vector< std::string > & test_files )

static

write_cpp_test_file()

void write_cpp_test_file ( const std::filesystem::path & path, const type_values_t & type_values, const c_types_t & c_types, size_t index = 0, size_t total = 0 )

static

write_nondet_functions()

void write_nondet_functions ( std::ofstream & out, const type_values_t & type_values, const c_types_t & c_types, const std::string & bool_keyword )

static

write_verifier_header()

void write_verifier_header ( const std::filesystem::path & out_dir )

static