You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When two strings are concatenated for example "https" and "://" the current code annotates the result with the annotation @startsWith({"https"}) whereas it should be annotated as @startsWith({"https://"}). Test file ConcatenationFile shows this.
When two strings are concatenated for example "https" and "://" the current code annotates the result with the annotation @startsWith({"https"}) whereas it should be annotated as @startsWith({"https://"}). Test file ConcatenationFile shows this.