bugLiberty Eiffel - Bugs: bug #65016, eiffeltest does not handle...


bug #65016: eiffeltest does not handle expected input and outputs

Submitter:  Paolo Redaelli <Tybor>
Submitted:  Tue 12 Dec 2023 08:06:18 AM UTC
Category:  Liberty tools Severity:  3 - Normal
Priority:  * 5 - Normal Status:  Confirmed
Assigned to:  None Open/Closed:  Open
Release:  None Fixed Release:  None
Planned Release:  None
* Mandatory Fields

Add a New Comment Rich Markup

Tue 12 Dec 2023 08:06:18 AM UTC, original submission:  

According https://wiki.liberty-eiffel.org/index.php/Eiffeltest#File_handling eiffeltest should feed any .in files to the corresponding test and testing that its output matches the .out file.
Output different from the .out file doesn't make the test fail, contents of the *.in file are not fed to the test's stdin and the program is waiting for interactive input instead.

A user has provided a minimal example of .in and .out files having no effect here https://github.com/igneus/try-eiffeltest that may be useful to add to our test suite.

This feature is actually never used in our test suite: there is just one ".in" file, namely test/lib/numeric/number/test_number07.in but its matching test ( https://git.savannah.gnu.org/cgit/liberty-eiffel.git/tree/test/lib/numeric/number/test_number07.e ), explicitly opens the input file.

As far as I can say eiffeltest does not have the actual logic implementing the handling of in and out files.

Paolo Redaelli <Tybor>
Group 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 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.


    No changes have been made to this item

    Back to the top

    Powered by Savane 3.13-6ae7.
    Corresponding source code