Cory is trying to enforce some consistency in how we print addresses so that we can control the format by changing only one (or at least just a few) p

Returns the number of TestPartResult objects in the array.

Method to fetch a z3 representation of a given treenode.

Get the name of the function.

This method converts a z3 expression back to a treenode. Currently, we use the createExistingVariable Rose API to look up the treenode, but that may c

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

There may be a better way to do this, but if you have the address and want the instruction, this is the only way Cory is currently aware of.

Things that Cory thinks should be proxied through to the memory and register classes.

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

Convenience function for accessing the global UnitTest implementation object.

Accessors for the implementation object.

Makes a successful assertion result.

Fetch the vertex associated with an address (by basic block address)

Find a general purpose register in an semi-architecture independent way. Now implemented in terms of a method in misc.cpp that does the heavy lifting.

Makes a failed assertion result.

returns true if the last instruction of a basic block is a retn

This should be a method on SgAsmX86Instruction and possibly on SgAsmInstruction as well.

Gets the outcome of the test part.

Copy constructor.