Skip to content

Case mode

Kai Prott requested to merge fte/curry-frontend:case-mode into master

Added command-line options to select a case mode and to enable/disable warnings for wrong case modes. Also added a case mode check to the WarnCheck and some test cases.

Merge request reports