key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Decrease Log Level of "Duplicate Sort" Warnings

Open WolframPfeifer opened this issue 6 months ago • 0 comments

Description

When KeY is started, there are multiple warnings about duplicate sort declarations in the taclet base. While we should get rid of those in the future, they are not severe, but may confuse the users. We should mark them as "Debug", such that they are suppressed for normal users.

Reproducible

always

Steps to reproduce

  1. Start KeY (from a CLI).
  2. Load any .key or .java file, such that parsing of the taclet library is triggered.

On the CLI, the warnings described above appear.

WolframPfeifer avatar Aug 01 '24 11:08 WolframPfeifer