-----------------------------------------------------------------*/

! * Searches for the given executable in the directories list at the PATH environment variable, * and returns the directory it was found in. * @par

Sets the value of the ith bit of a flag; undefined for incorrect fixed values */

\brief Set global parameter \c param with string \c value. */

We call this function to set the type of failure SetUp() should generate.

Set the line number. Used for memory aliasing analysis. */

Mark that a #OF, #BR, #TS, #GP or #PF exception conditionally occurs. */

Set maximum validation time */

Was SetUp() run?

STL-style container methods.

STL-style container methods.

Gets the time of the test program start, in ms from the start of the UNIX epoch.

Returns an iterator that points to the beginning of this block's successor list. */

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

Gets the number of successful test cases.

Gets the number of successful tests.

Returns the number of the test properties.

Gets the number of all test parts. This is the sum of the number of successful test parts and the number of failed test parts.

Undo global swap move, recompute def-in relation. */

Undo instruction move, recompute def-in relation. */

Undo local swap move, recompute def-in relation. */

Undo opcode move, recompute def-in relation. */

Undo operand move, recompute def-in relation. */

Undo resize move, recompute EVERYTHING. */

Returns a pointer to the beginning of the valid byte addrs in this memory. */