PR# 19165 Autotest generates tests for STRING which violate preconditions

Problem Report Summary

Submitter: colin-adams

Category: EiffelTest

Priority: Low

Date: 2015/12/04

Class: Bug

Severity: Serious

Number: 19165

Release: 15.11

Confidential: No

Status: Open

Responsible:

Environment: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/47.0.2526.73 Safari/537.36

Synopsis: Autotest generates tests for STRING which violate preconditions

Description

When generating tests for open classes, and the class is NOT STRING_8, AutoTest still generates test classes to cover STRING_8.

For other classes, when this is happens in the course of generation. the test is marked as invalid, and a test case is not generated for it. Why the difference for STRING_8?

The failing tests are actually flagged as unresolved - yellow. Not fail - red.

To Reproduce

Problem Report Interactions