PR# 15915 Strange and somewhat useless test being generated
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelTest
Priority: Medium
Date: 2009/06/02
Class: Bug
Severity: Serious
Number: 15915
Release: 6.4.7.8984
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.10) Gecko/2009042316 Firefox/3.0.10 (.NET CLR 3.5.30729)
Synopsis: Strange and somewhat useless test being generated
Description
If you look at the generated test for HASH_TABLE you will see that it does not test anything. Indeed at the end of the test, it tries to create a HASH_TABLE with a count of `-1' which violates the precondition of `make'. And then later does: execute_safe (agent v_1251.search (v_1252)) However this line fails because at runtime you violate a precondition of the agent creation if the target is Void which is clearly the case since the HASH_TABLE could not be created. So my question, what kind of failure was autotest trying to exhibit?
To Reproduce
Problem Report Interactions