Returns the current OS stack trace getter if it is not NULL; otherwise, creates an OsStackTraceGetter, makes it the current getter, and returns it.

\brief Wraps a Z3_ast as an expr object. It also checks for errors. This function allows the user to use the whole C API with the C++ layer def

Gets the outcome of the test part.

@ingroup DEC Return the #xed_inst_t structure for this instruction. This is the route to the basic operands form information.

@ingroup DEC Number of instruction operands

! * Set the contents of the lifo queue to a singly-linked list of elements. This method * is NOT atomic. * * @param[in] list

Starts capturing stdout.

Chops off the n lowest bits from a bit pattern. Returns the n lowest bits. As a side effect, the original bit pattern will be shifted to the right b

Chops off the n lowest bits from a bit pattern. Returns the n lowest bits. As a side effect, the original bit pattern will be shifted to the right b

Removes the head of the queue and returns it. Returns NULL if the queue is empty.

A unary function that may die.

Converts the given epoch time in milliseconds to a date string in the ISO 8601 format, without the timezone information.

Formats a source file path and a line number as they would appear in an error message from the compiler used to compile this code.

Helper function used by ValidateRegex() to format error messages.

Helper function used by ValidateRegex() to format error messages.

Returns the current application's name, removing directory path if that is present.

Returns the number of threads running in the process, or 0 to indicate that we cannot detect it.

Returns true iff ch appears anywhere in str (excluding the terminating '\0' character).

Returns whether the given character is a valid path separator.

Returns whether the given character is a valid path separator.

Parses a string for a string flag, in the form of "--flag=value". On success, stores the value of the flag in *value, and returns true. On failure,

Parses a string for a string flag, in the form of "--flag=value". On success, stores the value of the flag in *value, and returns true. On failure,

Sets the env variable to 'value'; unsets it when 'value' is None.

If *pstr starts with the given prefix, modifies *pstr to be right past the prefix and returns true; otherwise leaves *pstr unchanged and returns false

Verifies correct behavior when help flag is specified. The right message must be printed and the tests must skipped when the given flag is sp

Verifies that registered_tests match the test names in defined_test_names_; returns registered_tests if successful, or aborts the program otherwise.

Blocks until the controller thread notifies. Must be called from a test thread.

Generate constraints expressing equality of two states over a given regset */

Gets the number of failed tests.

Gets the counterexample */

Element access; undefined for invalid quads */

Returns true if a quad is defined; undefined for invalid quads */

Returns true if a quad is valid. */

Returns the number of reachable blocks in this graph. */

Returns an iterator that points to the end of this graph's reachable block list. */

@name Initialization @{ Constructor. DEPRECATED: use #xed_state_init2(). The mode, and addresses widths are enumerations that specify the number of bi

clear the xed_state_t @ingroup INIT

Accessors.

Returns the special cursor to denote the end-of-file.

Constructs and returns the message for an equality assertion (e.g. ASSERT_EQ, EXPECT_STREQ, etc) failure. The first four parameters are the expressio

Formats a file location for compiler-independent XML output. Although this function is not platform dependent, we put it next to FormatFileLocation in

Returns an indented copy of stderr output for a death test. This makes distinguishing death test output lines from regular log lines much easier.

Returns an indented copy of stderr output for a death test. This makes distinguishing death test output lines from regular log lines much easier.

Stops capturing stdout and returns the captured string.

Returns the message describing the last system error in errno.

Returns the first valid random seed after 'seed'. The behavior is undefined if 'seed' is invalid. The seed after kMaxRandomSeed is considered to be

! * @return Size (bytes) of the buffer. */

Returns true iff the current test has a (either fatal or non-fatal) failure.

Parses the environment variable var as an Int32. If it is unset, returns default_val. If it is not an Int32, prints an error and aborts.

Returns true if FilePath ends with a path separator, which indicates that it is intended to represent a directory. Returns false otherwise. This does

Returns a copy of the FilePath with the case-insensitive extension removed. Example: FilePath("dir/file.exe").RemoveExtension("EXE") returns FilePath(

Resets the count for each test.

Runs gtest_list_tests_unittest_ and verifies that it prints the correct tests. Args: flag_value: value of the --gtest_list_test

Sets the parameters for subsequent calls to Create.

Reads and returns the string environment variable corresponding to the given flag; if it's not set, returns default_value.

Reads and returns the string environment variable corresponding to the given flag; if it's not set, returns default_value.

Returns the id of the exit block. */

Provides access to the event listener list.

Provides access to the event listener list.

Dataflow information about an instruction (more precise for function calls that instr.must/maybe_read/write/undef_set). */

Returns the working directory when the first TEST() or TEST_F() was executed.

Returns repeater that broadcasts the TestEventListener events to all subscribers.