Open andreiolaru-ro opened 9 years ago
Loading of standard platforms gets names from the enum, but platforms may not override getName ().
Scenario: LocalPlatform does no override getName so it reports as being called default, but it is registered in Boot as local.
Fixing: exception should be thrown, at platform loading, if platform name is not the same with name in the enum.
Loading of standard platforms gets names from the enum, but platforms may not override getName ().
Scenario: LocalPlatform does no override getName so it reports as being called default, but it is registered in Boot as local.