Details
-
Bug
-
Status: Resolved
-
P2
-
Resolution: Fixed
-
None
Description
The int option supplied at the command line is turned into a decimal during serialization and then the parser in SDK harness fails to restore it as int.
Attachments
Issue Links
- links to