Horst Schirmeier f106702d44 prune-trace: remove pilot_id from fspgroup PK ...

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

2013-09-10 17:43:32 +02:00

..

BasicPruner.cc

DCiAOKernelImporter: different injection semantic.

2013-05-29 16:17:03 +02:00

BasicPruner.hpp

experiments/dciao-kernelstructs: new database driven experiment for DCiAO

2013-04-03 10:39:51 +02:00

CMakeLists.txt

cmake: find MySQL client lib

2013-08-29 19:21:31 +02:00

main.cc

tools/prune-trace: various improvements

2013-04-22 14:24:50 +02:00

Pruner.cc

prune-trace: remove pilot_id from fspgroup PK

2013-09-10 17:43:32 +02:00

Pruner.hpp

tools/prune-trace: various improvements

2013-04-22 14:24:50 +02:00