KOKO\Mimi
20 lines
479 B
C++
20 lines
479 B
C++
#ifndef FESA_ANALYSIS_DYNAMIC_EXECUTION_RESULT_H_
|
|
#define FESA_ANALYSIS_DYNAMIC_EXECUTION_RESULT_H_
|
|
|
|
#include <vector>
|
|
|
|
#include "fesa/analysis/dynamic_analysis_state.h"
|
|
#include "fesa/core/diagnostic.h"
|
|
|
|
namespace fesa {
|
|
|
|
/// @brief Stores a complete HHT history before atomic result finalization.
|
|
struct DynamicExecutionResult {
|
|
DynamicAnalysisState state;
|
|
std::vector<Diagnostic> diagnostics;
|
|
};
|
|
|
|
} // namespace fesa
|
|
|
|
#endif // FESA_ANALYSIS_DYNAMIC_EXECUTION_RESULT_H_
|