Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:
- supporting list refinements, see how LiquidHaskell handles them;
- how to translate lists to SMT lib;
- unboxing Integer to int.
Small example code:
LinkedList<@Refinement(“x>0”) Integer> li = new ArrayList<Integer>();
li.add(10); // okay
li.add(-100; // error
Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:
Small example code: