public boolean hasExceptionThrown() {
// return this.replaced_eSeq.hasUnexpectedException();
for (int i = 0; i < (this.replaced_eSeq.sequence.size() - 1); i++) {
if (replaced_eSeq.getResult(i) instanceof ExceptionalExecution) {
return true;
}
}
return false;
}
public boolean hasNonExecuted() {
return replaced_eSeq.hasNonExecutedStatements();
}