/test/language/error_warning_msg/bad_veen2.msg

http://github.com/tybor/Liberty · Unknown · 7 lines · 6 code · 1 blank · 0 comment · 0 complexity · 9dbac6e65680d84446fa2732e8662b4f MD5 · raw file 

    

  1. ****** Fatal Error: Must not use local variable in ensure assertions
    2. 

  2. (VEEN).
    3. 

  3. 

  4. Line 16 column 34 in BAD_VEEN2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_veen2.e):
    5. 

  5.          illegal_assert: i = old j
    6. 

  6.                                  ^
    7. 

  7. ------
    8.