How to test the class without main()?

[zhenyu-zhou]

Hello,

I meet problem when testing the class without main() method. The concolic.py seems to always look for main() and report errors when there is no main(). Anyone can point out how can I test the one without main()? I cannot find it in README.

Thanks!

[aurimrv]

I have the same question. Actually, is there any additional documentation of Janala2?
Is it always necessary to import catg.CATG and use the provided readers like in the Testme.java file

public static void main(String[] args){
    int x = CATG.readInt(2);
    int y = CATG.readInt(1);
    testme(x,y);
    System.out.println("x = "+x+", y = "+y);
}

Or I can use regular Java readers' commands? What happens if I call concolic.py in a code like this?

public static void main(String[] args){
    int x = 2;
    int y = 1;
    testme(x,y);
    System.out.println("x = "+x+", y = "+y);
}