EMV2 validation exception when using branch probabilities with underscores. #1647
Description
Summary
Branch probabilities are allowed to have underscores without affecting meaning. However, OSATE parses the branch probability's real value as a double which causes an exception.
Expected and Current Behavior
No exception should be thrown and the calculation show proceed.
Steps to Reproduce
Enter a branch probability containing an underscore. Validation error occurs.
package emv_test2
public
annex EMV2 {**
error behavior state_machine
events
sensor_failure: error event;
states
normal: initial state;
recovering: state;
failed: state;
transitions
new_transition: normal -[sensor_failure]-> (recovering with 0.2_0, failed with 0.8_0);
end behavior;
**};
end emv_test2;