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

 
 

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

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

Add a New Comment(Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Tue 24 Sep 2013 10:56:11 AM UTC, comment #3:

see https://github.com/LibertyEiffel/Liberty/commit/ea7f7d7c63a6b4270afdaecb9e80c9408f98d693

Cyril Adrian <cadrian>
Project Administrator
Fri 20 Sep 2013 07:00:50 AM UTC, comment #2:

see https://github.com/LibertyEiffel/Liberty/commit/ea7f7d7c63a6b4270afdaecb9e80c9408f98d693

Cyril Adrian <cadrian>
Project 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>
Project AdministratorIn charge of this item.
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>
Project AdministratorIn charge of this item.

 

(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)
  •  

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    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.3