String method 'contains' is not pure in String.jml#26

Open

JhonTabio wants to merge 1 commit intoOpenJML:masterfrom

JhonTabio:master

Commits on Mar 26, 2024

String method 'contains' had issues with not being pure, although it is a pure method. Talked with Leavens and came to this solution
JhonTabio
committed