Testcases

[42niks]

Test cases to be written for which verification is to be done. @manasthakur sir please provide us some test cases you can think of whenever you are free.

[manasthakur]

Here is a plan (any of us can create tests based on the same, and keep pushing to a directory tests):

1. Two-three local objects, inter-connected via fields, without CVs
2. Objects assigned to globals
3. Objects passed to application methods such that the callee doesn't touch parameters
4. Previous but the callee should modify parameters' fields
5. Previous but the callee should assign parameter and/or its fields to a global
6. Objects passed to a library method
7. Objects passed to multiple application/library methods
8. Object field loaded after base object was passed to a method
9. Previous but the field should be uninitialized in the caller
10. Objects created and returned by callee to caller
11. Creation of arrays and multiarrays
12. Arrays whose element objects escape but the array doesn't

[42niks]

PR #10 for adding test cases.

[42niks]

Current code failed testcase 5. It maintains correctness, but didn't optimize as expected. Will continue adding test cases for now. Will investigate later.