Regarding afterInvocationWithByzantineFault in FilibusterClientInstrumentor.java: Sometimes executions are compared to determine if they are the same by comparing the faultsToInject value. In this case, there is a potential risk where two fault injections, derived through different types of iterators, that are the same are not considered redundant.
Check whether this causes any actual issues.
Regarding
afterInvocationWithByzantineFaultinFilibusterClientInstrumentor.java: Sometimes executions are compared to determine if they are the same by comparing the faultsToInject value. In this case, there is a potential risk where two fault injections, derived through different types of iterators, that are the same are not considered redundant.Check whether this causes any actual issues.