christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

ecos: load existing results on campaign startup

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1926 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-11-13 00:17:28 +00:00
parent 61ab977f01
commit 077f7ea507
2 changed files with 34 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/experiments/ecos_kernel_test/campaign.hpp
View File

@ -32,9 +32,10 @@ class EcosKernelTestCampaign : public fail::Campaign {
int bitnr, int bit_width, int resulttype, int ecos_test_result, fail::address_t latest_ip,
int error_corrected, const std::string& details);
void finalize_results();
bool check_available(fail::address_t data_address, int instr2);
bool check_available(const std::string& variant, const std::string& benchmark, fail::address_t data_address, int instr2);
std::ofstream resultstream;
std::map<std::pair<unsigned, int>, uint64_t> available_results;
typedef std::map<std::pair<const std::string, const std::string>, std::map<fail::address_t, std::set<int> > > AvailableResultMap;
AvailableResultMap available_results;
public:
EcosKernelTestCampaign() : m_log("EcosKernelTest Campaign"),
count_exp(0), count_exp_jobs(0), count_known(0), count_known_jobs(0) {}