This checkin eliminates cases in which the repair algorithm generates unnecessary...
authorbdemsky <bdemsky>
Tue, 20 Jul 2004 02:05:07 +0000 (02:05 +0000)
committerbdemsky <bdemsky>
Tue, 20 Jul 2004 02:05:07 +0000 (02:05 +0000)
commit50c504d43b7eb7262334f2e63a9bf269208ee2bd
tree5838608405e560b510f87e81f1de92bf510c169f
parent956b402206e64a3a6e4acad10310ec831e041be4
This checkin eliminates cases in which the repair algorithm generates unnecessary data structure updates to add an object to a set it is already in.
Repair/RepairCompiler/MCC/IR/AbstractRepair.java
Repair/RepairCompiler/MCC/IR/ExprPredicate.java
Repair/RepairCompiler/MCC/IR/Termination.java