Number of elements. */

The c'tor sets this object as the test part result reporter used by Google Test. The 'result' parameter specifies where to report the results. This r

Zeros memory and resets valid and defined bits. */

Set the operand in the symbolic state to the specified bitvector. * Note that the operand o and parameter bv must be the same bitwidth. * * If the

Returns the number of TestPartResult objects in the array.

Returns true iff the given atom (specified by escaped and pattern) matches ch. The result is undefined if the atom is invalid.

Gets the text streamed to this object so far as an std::string. Each '\0' character in the buffer is replaced with "\\0".

bool type */

Sets an environment variable with the given name to the given value. If the value argument is "", unsets the environment variable. The caller must e

\brief Return the sort of this expression. */

Makes a successful assertion result.

Number of elements */

Returns the number of TestPartResult objects in the array.

Makes a failed assertion result.

Since ::std::stringstream::operator<<(const void *) formats the pointer output differently with different compilers, we have to create the expected ou

Convenience function for accessing the global UnitTest implementation object.

Runs gtest_color_test_ and returns its exit code.

Returns true iff Google Test should use colors in the output.

Gets the text streamed to this object so far as an std::string. Each '\0' character in the buffer is replaced with "\\0".

Check for an error in building the circuit */

Iterator for return states. */

Converts a wide string to a narrow string in UTF-8 encoding. The wide string is assumed to have the following encoding: UTF-16 if sizeof(wchar_t) == 2

Returns string representation of an opcode */

Checks that the binary runs correct set of tests for a given filter.

Exposes underlying bit vector. */

Returns true if performs_undef_reach() returns true. */

Given a positive integer n, a format string that contains 0 or more '%s' format specs, and optionally a separator string, returns the join of n st

Returns true iff regex matches a prefix of str. regex must be a valid simple regular expression and not start with "^", or the result is undefined.

Generates non-fatal failures and returns false if regex is invalid; otherwise returns true.

Returns the number of live test objects that uses this fixture.

Initializes Google Test. This must be called before calling RUN_ALL_TESTS(). In particular, it parses a command line for the flags that Google Test

Returns the reason the last attempt to fix a dereference failed. */

\brief Return true if this sort is the Integer or Real sort. */

Helpers for printing colored strings to stdout. Note that on Windows, we cannot simply emit special characters and have the terminal change colors. Th

Helpers for printing colored strings to stdout. Note that on Windows, we cannot simply emit special characters and have the terminal change colors. Th

Returns true iff n is a prime number.

Returns true iff "\\c" is a supported escape sequence.

Returns the value of the ith bit of a flag. */

Gets the user supplied key.

Convenience function for accessing the global UnitTest implementation object.

Sets the 0-terminated C string this MyString object represents.

Accessors for the implementation object.

Accessors for the implementation object.

\brief Return true if this sort is a Bit-vector sort. */

Returns the set of registers that are defined on entry to this graph. */

Returns the set of registers that are live-out on exit to an instruction; undefined for unrachable blocks */

Makes a successful assertion result.

Always returns false.