Rounding is not implemented at adding score rules

[brita-sed]

Precondition

• .../eclipse.exe has launched.
• iFL plugin has been installed.

Steps

1. Select a project.
2. Click iFL button.
3. Load scores...
4. Show filters.
5. Add rule.
6. Add rules by score with different number of decimals.

Expected results

• The maximum number of decimals is 4 as on the widgets OR
• Every score value strands from 4 decimals, like: 0.5000

Received results

• The rounding is not implemented, even 1,2,3,4,5,6 etc. can be the numbers of decimals. It would be good to standardize this.

Environment:

• Package: https://github.com/InteractiveFaultLocalization/iFL4Eclipse/releases/tag/V3.4.209.1
• Operating System: Windows 10 Pro, 64 bit
• Eclipse version: 2019-09 R (4.13.0)

[brita-sed]

Actually the maximum number of decimals is 16 digits:

[Dhorvath1294]

https://github.com/InteractiveFaultLocalization/iFL4Eclipse/releases/tag/V3.4.205.1

[brita-sed]

The bug has been corrected, now the fix decimal number is 4 digits: