bugLiberty Eiffel - Bugs: bug #40071, Testing COMPLEXes is complex... :)

 
 

bug #40071: Testing COMPLEXes is complex... :)

Submitter:  Paolo Redaelli <Tybor>
Submitted:  Thu 19 Sep 2013 10:02:33 PM UTC
   
 
Category:  Kernel libraries Severity:  3 - Normal
Priority:  * 5 - Normal Status:  Confirmed
Assigned to:  Tybor Open/Closed:  Closed
Release:  adler Fixed Release:  adler
Planned Release:  None
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 24 Sep 2013 10:56:11 AM UTC, comment #3: 
Cyril Adrian <cadrian>
Group administrator
Fri 20 Sep 2013 07:00:50 AM UTC, comment #2: 
Cyril Adrian <cadrian>
Group administrator
Fri 20 Sep 2013 06:09:40 AM UTC, comment #1: 

Recompiled with boost on 32bit it often fails this way.
Perhaps using random COMPLEX_64 in range 0-1000 is the cause.
I'll try keeping them in the range 0-1.

See some examples of failing tests:
Testing with a=(789.049131, 751.520401), b=(465.931165,
ERROR: (label_)assert call (a+b)*c = a*c + b*c in class TEST_COMPLEX failed.

(429865.175894, 313126.433230) ~= (429865.175894, 313126.433230)
Testing with a=(652.980950, 289.716731), b=(302.799318, 71.905797), c=(271.809540, 728.223171)
....
(-3551.709781, 794313.790427) ~= (-3551.709781, 794313.790427)
ERROR: (label_)assert call (a+b)*c = a*c + b*c in class TEST_COMPLEX failed.

Testing with a=(563.507033, 210.732075), b=(433.231180, 441.507311), c=(913.048248, 398.540160)
....
(2412807.838261, 370731977.885828) ~= (2412807.838261, 370731977.885828)
ERROR: (label_)assert call a*b*c ~ a*(b*c) in class TEST_COMPLEX failed.

Testing with a=(260.915766, 434.451544), b=(359.171385, 705.981627), c=(443.242412, 647.300751)
...
(-314651614.331821, 12934782.231230) ~= (-314651614.331821, 12934782.231230)
ERROR: (label_)assert call a*b*c ~ a*(b*c) in class TEST_COMPLEX failed.


Paolo Redaelli <Tybor>
Group administrator
Thu 19 Sep 2013 10:02:33 PM UTC, original submission:  

TEST_COMPLEX may fail because of checks making unproper assumpion of infinite precision of FLOAT numbers in feature test_times.

Paolo Redaelli <Tybor>
Group administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by ramack (Updated the item)
  • -email is unavailable- added by Tybor (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2015-08-27 ramack Open/ClosedOpen Closed
        Fixed ReleaseNone adler
    2013-09-20 Tybor StatusNeed Info Confirmed
    2013-09-19 Tybor StatusWorks For Me Need Info

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code