bugLiberty Eiffel - Bugs: bug #40078, TEST_AVL3


bug #40078: TEST_AVL3

Submitted by:  Paolo Redaelli <Tybor>
Submitted on:  Sat 21 Sep 2013 09:47:25 AM UTC  
Category:  ET Severity:  3 - Normal
Priority:  5 - Normal Status:  Works For Me
Assigned to:  None Open/Closed:  Closed
Release:  adler Fixed Release:  bell
Planned Release:  bell

Add a New Comment(Rich Markup)

You are not logged in

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


Sat 26 Dec 2015 10:39:15 PM UTC, comment #1:

this seems to be fixed in the meantime.

Raphael Mack <ramack>
Project Administrator
Sat 21 Sep 2013 09:47:25 AM UTC, original submission:

I cannot reproduce this bug on my box.

Running (-flat_check -require_check -bdw_gc) "test_avl3.exe".
(Return status was 139)

            • Warning: Unknown loadpath in /Liberty/tutorial/iterator/loadpath.se:


            • 1 warning.

Line : 23 column 13 in /Liberty/test/lib/storage/dictionary/test_avl3.e.

      • Error at Run Time ***: Bad target type. The expected type is PRESS_RANDOM_NUMBER_GENERATOR.

2 frames in run-time stack

Paolo Redaelli <Tybor>
Project Administrator


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

Attach Files:

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 (Posted a comment)
  • -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.


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



    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2015-12-26 ramack Open/ClosedOpen => Closed
        Fixed ReleaseNone => bell
        Planned ReleaseNone => bell

    Back to the top

    Powered by Savane 3.3