Skip to content

78 testcase floating point numbers tolerance #317

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 17 commits into from
Jun 10, 2024
Merged
Show file tree
Hide file tree
Changes from 15 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
64 changes: 32 additions & 32 deletions Documentation/testcases/scripts.md
Original file line number Diff line number Diff line change
Expand Up @@ -2672,7 +2672,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''100000.''

### Comparison tolerance for floating point one lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_one_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_one_lower_bound.ids
Comparison tolerance for floating point one lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2681,7 +2681,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''1.''

### Comparison tolerance for floating point one lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_one_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_one_lower_bound.ids
Comparison tolerance for floating point one lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2690,7 +2690,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''1.''

### Comparison tolerance for floating point one upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_one_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_one_upper_bound.ids
Comparison tolerance for floating point one upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2699,7 +2699,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''1.''

### Comparison tolerance for floating point one upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_one_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_one_upper_bound.ids
Comparison tolerance for floating point one upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2708,7 +2708,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''1.''

### Comparison tolerance for floating point positive low number lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_positive_low_number_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_positive_low_number_lower_bound.ids
Comparison tolerance for floating point positive low number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2717,7 +2717,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.0000001''

### Comparison tolerance for floating point positive low number lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_positive_low_number_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_positive_low_number_lower_bound.ids
Comparison tolerance for floating point positive low number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2726,7 +2726,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.0000001''

### Comparison tolerance for floating point positive low number upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_positive_low_number_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_positive_low_number_upper_bound.ids
Comparison tolerance for floating point positive low number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2735,7 +2735,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.0000001''

### Comparison tolerance for floating point positive low number upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_positive_low_number_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_positive_low_number_upper_bound.ids
Comparison tolerance for floating point positive low number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2744,7 +2744,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.0000001''

### Comparison tolerance for floating point zero lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_zero_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_zero_lower_bound.ids
Comparison tolerance for floating point zero lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2753,7 +2753,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.''

### Comparison tolerance for floating point zero lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_zero_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_zero_lower_bound.ids
Comparison tolerance for floating point zero lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2762,7 +2762,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.''

### Comparison tolerance for floating point zero upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_zero_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_zero_upper_bound.ids
Comparison tolerance for floating point zero upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2771,7 +2771,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.''

### Comparison tolerance for floating point zero upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_zero_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_zero_upper_bound.ids
Comparison tolerance for floating point zero upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2780,7 +2780,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''0.''

### Comparison tolerance for floating point negative low number lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_low_number_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_low_number_lower_bound.ids
Comparison tolerance for floating point negative low number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2789,7 +2789,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-0.0000001''

### Comparison tolerance for floating point negative low number lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_low_number_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_low_number_lower_bound.ids
Comparison tolerance for floating point negative low number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2798,7 +2798,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-0.0000001''

### Comparison tolerance for floating point negative low number upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_low_number_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_low_number_upper_bound.ids
Comparison tolerance for floating point negative low number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2807,7 +2807,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-0.0000001''

### Comparison tolerance for floating point negative low number upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_low_number_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_low_number_upper_bound.ids
Comparison tolerance for floating point negative low number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2816,7 +2816,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-0.0000001''

### Comparison tolerance for floating point negative one lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_one_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_one_lower_bound.ids
Comparison tolerance for floating point negative one lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2825,7 +2825,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1.''

### Comparison tolerance for floating point negative one lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_one_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_one_lower_bound.ids
Comparison tolerance for floating point negative one lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2834,7 +2834,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1.''

### Comparison tolerance for floating point negative one upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_one_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_one_upper_bound.ids
Comparison tolerance for floating point negative one upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2843,7 +2843,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1.''

### Comparison tolerance for floating point negative one upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_one_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_one_upper_bound.ids
Comparison tolerance for floating point negative one upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2852,7 +2852,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1.''

### Comparison tolerance for floating point negative high number lower bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_high_number_lower_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_high_number_lower_bound.ids
Comparison tolerance for floating point negative high number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2861,7 +2861,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1000000.''

### Comparison tolerance for floating point negative high number lower bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_high_number_lower_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_high_number_lower_bound.ids
Comparison tolerance for floating point negative high number lower bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2870,7 +2870,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1000000.''

### Comparison tolerance for floating point negative high number upper bound

``` ids tolerance/pass_comparison_tolerance_for_floating_point_negative_high_number_upper_bound.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_negative_high_number_upper_bound.ids
Comparison tolerance for floating point negative high number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2879,7 +2879,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1000000.''

### Comparison tolerance for floating point negative high number upper bound

``` ids tolerance/fail_comparison_tolerance_for_floating_point_negative_high_number_upper_bound.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_negative_high_number_upper_bound.ids
Comparison tolerance for floating point negative high number upper bound
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2888,7 +2888,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,''-1000000.''

### Comparison tolerance for floating point range greater than zero exclusive

``` ids tolerance/fail_comparison_tolerance_for_floating_point_range_greater_than_zero_exclusive.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_range_greater_than_zero_exclusive.ids
Comparison tolerance for floating point range greater than zero exclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2897,7 +2897,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MinExclusive(''0.'')

### Comparison tolerance for floating point range greater than zero exclusive

``` ids tolerance/pass_comparison_tolerance_for_floating_point_range_greater_than_zero_exclusive.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_range_greater_than_zero_exclusive.ids
Comparison tolerance for floating point range greater than zero exclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2906,7 +2906,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MinExclusive(''0.'')

### Comparison tolerance for floating point range greater than zero inclusive

``` ids tolerance/fail_comparison_tolerance_for_floating_point_range_greater_than_zero_inclusive.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_range_greater_than_zero_inclusive.ids
Comparison tolerance for floating point range greater than zero inclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2915,7 +2915,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MinInclusive(''0.'')

### Comparison tolerance for floating point range greater than zero inclusive

``` ids tolerance/pass_comparison_tolerance_for_floating_point_range_greater_than_zero_inclusive.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_range_greater_than_zero_inclusive.ids
Comparison tolerance for floating point range greater than zero inclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2924,7 +2924,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MinInclusive(''0.'')

### Comparison tolerance for floating point range lower than zero exclusive

``` ids tolerance/fail_comparison_tolerance_for_floating_point_range_lower_than_zero_exclusive.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_range_lower_than_zero_exclusive.ids
Comparison tolerance for floating point range lower than zero exclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2933,7 +2933,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MaxExclusive(''0.'')

### Comparison tolerance for floating point range lower than zero exclusive

``` ids tolerance/pass_comparison_tolerance_for_floating_point_range_lower_than_zero_exclusive.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_range_lower_than_zero_exclusive.ids
Comparison tolerance for floating point range lower than zero exclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2942,7 +2942,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MaxExclusive(''0.'')

### Comparison tolerance for floating point range lower than zero inclusive

``` ids tolerance/fail_comparison_tolerance_for_floating_point_range_lower_than_zero_inclusive.ids
``` ids tolerance/fail-comparison_tolerance_for_floating_point_range_lower_than_zero_inclusive.ids
Comparison tolerance for floating point range lower than zero inclusive
Entity: ''IFCWALL''
Requirements:
Expand All @@ -2951,7 +2951,7 @@ Property: ''Foo_Bar'',''Foo'',IFCREAL,xs:double MaxInclusive(''0.'')

### Comparison tolerance for floating point range lower than zero inclusive

``` ids tolerance/pass_comparison_tolerance_for_floating_point_range_lower_than_zero_inclusive.ids
``` ids tolerance/pass-comparison_tolerance_for_floating_point_range_lower_than_zero_inclusive.ids
Comparison tolerance for floating point range lower than zero inclusive
Entity: ''IFCWALL''
Requirements:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ DATA;
#7=IFCWALL('2nJrDaLQfJ1QPhdJR0o97J',$,$,$,$,$,$,$,$);
#8=IFCPROPERTYSET('16MocU_IDOF8_x3Iqllz0d',$,'Foo_Bar',$,(#10));
#9=IFCRELDEFINESBYPROPERTIES('1xdwj8qGXK4hzoNbvMdXJW',$,$,$,(#7),#8);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(-1000001.00000100001),$);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(-1000001.0000011),$);
ENDSEC;
END-ISO-10303-21;
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ DATA;
#7=IFCWALL('2nJrDaLQfJ1QPhdJR0o97J',$,$,$,$,$,$,$,$);
#8=IFCPROPERTYSET('16MocU_IDOF8_x3Iqllz0d',$,'Foo_Bar',$,(#10));
#9=IFCRELDEFINESBYPROPERTIES('1xdwj8qGXK4hzoNbvMdXJW',$,$,$,(#7),#8);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(0.000001),$);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(0.0000011),$);
ENDSEC;
END-ISO-10303-21;
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ DATA;
#7=IFCWALL('2nJrDaLQfJ1QPhdJR0o97J',$,$,$,$,$,$,$,$);
#8=IFCPROPERTYSET('16MocU_IDOF8_x3Iqllz0d',$,'Foo_Bar',$,(#10));
#9=IFCRELDEFINESBYPROPERTIES('1xdwj8qGXK4hzoNbvMdXJW',$,$,$,(#7),#8);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(-0.000001),$);
#10=IFCPROPERTYSINGLEVALUE('Foo',$,IFCREAL(-0.0000011),$);
ENDSEC;
END-ISO-10303-21;
Loading