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 librariesSeverity: 3 - Normal
Priority: 5 - NormalStatus: Confirmed
Assigned to: Paolo Redaelli <Tybor>Open/Closed: Open
Release: adlerFixed Release: None
Planned Release: None

Add a New Comment (Rich MarkupRich 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 = ac + 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 = ac + 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 abc ~ a(bc) 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 abc ~ a(bc) 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 File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by Tybor (Submitted the item)
  •  

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

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 2 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri 20 Sep 2013 06:09:40 AM UTCTyborStatusNeed Info=>Confirmed
    Thu 19 Sep 2013 10:03:08 PM UTCTyborStatusWorks For Me=>Need Info

    Back to the top


    Powered by Savane 3.1-cleanup