akshayutture

Or else, a simpler example is this ``` import java.util.*; public class C{ public static class B implements Comparable{ @Override public int compareTo(B st){ return 0; } } public static...

Hi @karimhamdanali, Actually it is not the same error for all 60 benchmarks. I am sorry I didn't realize that earlier. I think I see 3 distinct kinds of errors....

Here are the error logs [averroes.log](https://github.com/themaplelab/averroes/files/6804194/averroes.log) The benchmarks themselves are available here (https://zenodo.org/record/4839913#.YOykQS1h0UQ) Here is the script used to run Averroes on the benchmark set https://drive.google.com/file/d/1entiZGMjPDiBEufQPpi6FwlYPICLe0aG/view?usp=sharing As of now, I...

Thank you for taking the time out to look into the issues. Do let me know if I can provide anything further.