improve assertion generation by asserting on the receiver object #29
Description
improve assertion generation by asserting on the receiver object.
- this would make a potentially stronger assertion on all tests
- this would enable to generate tests for void methods
we could also assert the state of the parameters after the call