/[eiffelstudio]/trunk/eweasel/tests/exec286/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/exec286/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 75143 - (show annotations)
Thu Oct 16 23:36:11 2008 UTC (10 years, 11 months ago) by manus
File size: 513 byte(s)
Found a bug in the code generation of a formal generic type description for code that is inherited
  (i.e. comming from an inherited assertion) for which we were generating the wrong code and causing
  a crash at runtime.

1 test_name wrong-formal-type-specification
2 test_description A routine which regenerates its inherited assertions involving some formal generic parameter, create the wrong code to compute the type of the formal generic parameter resulting in a segfault at run-time.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6 copy_raw test1.e $CLUSTER test1.e
7 copy_raw test2.e $CLUSTER test2.e
8
9 compile_melted
10 compile_result ok
11
12 execute_work NONE exec_output1
13 execute_result ok
14 compare exec_output1 output
15
16 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23