Closed ariannab closed 6 years ago
With this changes, every time a method is invoked in a condition the receiver object is first checked for nullness (in the condition itself).
I am unable to see what fails in the tests with Travis. On my machine the build works. Notice that some conditions produced by Toradocu changed, and so the goal files
With this changes, every time a method is invoked in a condition the receiver object is first checked for nullness (in the condition itself).