OriRoth

Results 65 comments of 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...

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() {...