VDMTools is not CSK or SCSK product now, but I found CSK and SCSK in message and menu.

[shinsahara]

There are "CSK" and "SCSK" name in a message and a menu.

VDMTools is not {CSK | SCSK} product now.
But, I met "CSK" in a message, and "SCSK" in a menu.

Steps to Reproduce

1. To meet "CSK" message

• Make a VDM++ Project like "SCSK"
• Make a VDM++ file like

class SCSK
end SCSK

• On the SCSK project, push right mouse button, and select "VDM Tools" in the pop-up menu.
• Then, you meet the following message iff you didn't set VDMTools's path.

2. To meet "SCSK" menu

• Select Tool menu "Preference", in the "VDM" there is "SCSK/VDM Tools" like following :

Expected behavior:
(1)The right message should be "VDMTools..."

(2 )The right menu name should be "VDMTools"

Actual behavior:

(1) invalid message: "CSK VDM Tools..."

(2) invalid menu: "SCSK/VDM Tools"

Reproduces how often: 100%

Versions

Overture Tool Version: 2.6.2
Build date: 2018 May 18 11:17 CEST
Git commit description: Release/2.6.2

macOS High Sierra version 10.13.6.

Additional Information

Any additional information, configuration or data that might be necessary to reproduce the issue.

[peterwvj]

@shinsahara did you really intend to close this issue? I mean, the problem still persists, right?

[shinsahara]

It is my mistake.
I've reopened.

[peterwvj]

The error and menu now look as shown below. The changes will be available in the next release.