fixes -nostalltr flag: if it is valid to prune heap examiners, turning off both of...
authoryeom <yeom>
Fri, 8 Apr 2011 03:45:29 +0000 (03:45 +0000)
committeryeom <yeom>
Fri, 8 Apr 2011 03:45:29 +0000 (03:45 +0000)
commit962045fb482b951ebd554a4ccacc2c873ea50ef8
tree67074414b00bcd3a2258a2bbb78b80651aa4bb12
parentd75f893fab9cfaeae1128e5eaa4568fefdb878ee
fixes -nostalltr flag: if it is valid to prune heap examiners, turning off both of task & stallsite examiners
Robust/src/Analysis/OoOJava/ConflictNode.java
Robust/src/IR/Flat/RuntimeConflictResolver.java