mbruns42

Just to be sure, the current state is - All tests pass except the HeadlessTests - oracleExample fails because of crypto.analysis.errors.RequiredPredicateError in method

Works for me too, now. How does the compilation of [OracleExample/src/main/Main.java](https://github.com/CROSSINGTUD/CryptoAnalysis/blob/master/CryptoAnalysisTargets/OracleExample/src/main/Main.java) work? It seems to be configured in Eclipse somehow, but I'm not sure how to start the correct one.

Please add examples where too many of these errors occur.

Here is the analysis of these errors: [IncompleteOperationError.pdf](https://github.com/CROSSINGTUD/CryptoAnalysis/files/2310977/IncompleteOperationError.pdf) TL;DR: - One potential bug when calling doFinal(), will be investigated - Improvement: Add parameters to error message when expected call and...

I'd be happy to add these ones, but I think others have a better overview and may need to complete the wiki.

Potential bug seems to be weird handling of loops. When the beginning of the loop separates one method in the correct sequence from the next, we get two `IncompleteOperationExceptions`, one...

So we should decide whether to throw IncompleteOperationErrors EITHER on the return statement or on the destructing statement? Would choosing just one lead to false negatives?

Ok, that makes sense. So how should we proceed?