openjml --esc --esc-max-warnings 1 --check-feasibility=all --nullable-by-default --timeout 30 --progress Proving methods in SumArrayElements Starting proof of SumArrayElements.SumArrayElements() with ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results