CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
object_factory_parameters.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
10#define CPROVER_UTIL_OBJECT_FACTORY_PARAMETERS_H
11
12#include <list>
13
14#include <util/irep.h>
15#include <util/magic.h>
16
17class cmdlinet;
18class optionst;
19
21{
25
26 explicit object_factory_parameterst(const optionst &options)
27 {
28 set(options);
29 }
30
31 virtual ~object_factory_parameterst() = default;
32
35
42
45
59
71
73 bool string_printable = false;
74
76 std::list<std::string> string_input_values;
77
80
82 void set(const optionst &);
83};
84
86
87#endif
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38
Magic numbers used throughout the codebase.
const std::size_t MAX_CONCRETE_STRING_SIZE
Definition magic.h:14
void parse_object_factory_options(const cmdlinet &, optionst &)
Parse the object factory parameters from a given command line.
irep_idt function_id
Function id, used as a prefix for identifiers of temporaries.
object_factory_parameterst(const optionst &options)
size_t max_nondet_array_length
Maximum value for the non-deterministically-chosen length of an array.
std::list< std::string > string_input_values
Force one of finitely many explicitly given input strings.
size_t max_nondet_tree_depth
Maximum depth of pointer chains (that contain recursion) in the nondet generated input objects.
size_t min_null_tree_depth
To force a certain depth of non-null objects.
bool string_printable
Force string content to be ASCII printable characters when set to true.
size_t max_nondet_string_length
Maximum value for the non-deterministically-chosen length of a string.
void set(const optionst &)
Assigns the parameters from given options.
size_t min_nondet_string_length
Minimum value for the non-deterministically-chosen length of a string.
virtual ~object_factory_parameterst()=default