PR# 16576 VEVI errors with AutoTest automatically generated test cases
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelTest
Priority: Medium
Date: 2010/01/20
Class: Bug
Severity: Serious
Number: 16576
Release: 6.6.8.1939
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US) AppleWebKit/532.5 (KHTML, like Gecko) Chrome/4.0.249.64 Safari/532.5
Synopsis: VEVI errors with AutoTest automatically generated test cases
Description
I was testing my new implementation of ARRAY2 with AutoTest and it proceeded quite smoothly to generate about 20 test cases in 3 minutes. However when trying to compile the generated tests it did not compile. My project is a void-safe project and I've attached one generated test with the following errors in it: 2 VEVI: Variable is not properly set. Local: v_14 TEST_ARRAY2_019.generated_test_1 (sample) 86, 24 2 VJAR: Source of assignment is not compatible with target. TEST_ARRAY2_019.generated_test_1 (sample) 87, 4 2 VEVI: Variable is not properly set. Local: v_20 TEST_ARRAY2_019.generated_test_1 (sample) 106, 24
To Reproduce
Problem Report Interactions