OriRoth
OriRoth
This is just a part of #1327... I think this issue is redundant.
I don't get it- how is it a relation between configurations? The example you've gave talks only about "clean projects listed below".
Then please give a valid example including two operations.
This is an issue with every new tipper. Usually the solution is to correct the failing tests, while preserving the original purpose. It should not matter where you place the...
Not between?
If it is permanent, consider either giving it better description or moving it to wiki.
Hello @hanneshorn, thank you for posting this issue. We are aware of the problem and work to fix it as soon as possible. In the meanwhile, I would suggest manual...
VERY VERY FIX
Be careful: `f() * g() + f() * h()` != `f() * (g() + h())`
As I understood, you mean we can give up redundant field initializations in constructors: ```Java int a; A() { this.a = 0; } ``` ==> ```Java int a; A() {...