c24ed774b0
The dciao-kernelstructs experiment does a trace imported by the DCiAOKernelImporter: bin/import-trace -t trace.pb -i DCiAOKernelImporter --elf-file app.elf Pruned by the basic method: bin/prune-trace and does CiAO fault injection experiments, where the results are stored in the database. Change-Id: I485dc2e5097b3ebaf354241f474ee3d317213707
15 lines
352 B
C++
15 lines
352 B
C++
#ifndef __BASIC_PRUNER_H__
|
|
#define __BASIC_PRUNER_H__
|
|
|
|
#include "Pruner.hpp"
|
|
|
|
class BasicPruner : public Pruner {
|
|
bool use_instr1;
|
|
public:
|
|
BasicPruner(bool use_instr1 = false) : Pruner(), use_instr1(use_instr1) {}
|
|
virtual std::string method_name() { return std::string("basic") + (use_instr1 ? "-left" : ""); }
|
|
virtual bool prune_all();
|
|
};
|
|
|
|
#endif
|