ROSE  0.9.10.91
Public Member Functions | List of all members
Rose::BinaryAnalysis::Concolic::ConcreteExecutor::Result Class Reference

Description

Base class for user-defined concrete execution results.

Regardless of what data a subclass might add, all concrete execution results have a floating-point "rank" used to sort them when creating the list of test cases that should next run symbolically. The convention is that those with lower ranks will run before those with higher ranks, although subclasses of ExecutionManager can override this. The rank should be a real number (not NaN).

The subclasses must provide boost::serialization support which is used to store the user-defined results in the database and to reconstitute results objects from the database. Since this is a relatively expensive operation, the rank is also stored separately within the database.

Definition at line 213 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

Inheritance diagram for Rose::BinaryAnalysis::Concolic::ConcreteExecutor::Result:
Inheritance graph
[legend]

Public Member Functions

 Result (double rank)
 

The documentation for this class was generated from the following file: