christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

prune-trace: remove pilot_id from fspgroup PK

Browse Source 
There's one fspgroup entry for every trace entry, the pilot_id is
therefore *not* part of the (unique) primary key.  If this had been
right in the first place, it would have revealed an equivalence-based
fault-space pruning bug early ... :-/

Change-Id: I449d4985645c6631c0a8db0c64510364677b1354
This commit is contained in:
Horst Schirmeier
2013-07-13 13:05:39 +02:00
parent d961ac0a72
commit f106702d44
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/prune-trace/Pruner.cc
View File

@ -70,7 +70,7 @@ bool Pruner::create_database() {
" data_address int(10) unsigned NOT NULL," " data_address int(10) unsigned NOT NULL,"
" fspmethod_id int(11) NOT NULL," " fspmethod_id int(11) NOT NULL,"
" pilot_id int(11) NOT NULL," " pilot_id int(11) NOT NULL,"
" PRIMARY KEY (variant_id, data_address, instr2, fspmethod_id, pilot_id)," " PRIMARY KEY (variant_id, data_address, instr2, fspmethod_id),"
" KEY joinresults (pilot_id,fspmethod_id)) engine=MyISAM"; " KEY joinresults (pilot_id,fspmethod_id)) engine=MyISAM";
return db->query(create_statement.c_str()); return db->query(create_statement.c_str());