PageRenderTime 11ms CodeModel.GetById 5ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/test/language/error_warning_msg/bad_assertion1.msg

http://github.com/tybor/Liberty
Unknown | 12 lines | 10 code | 2 blank | 0 comment | 0 complexity | a7f3d256bd6af90ae7ea7c0dec9ee446 MD5 | raw file
 1****** Fatal Error: Keyword "end" expected at the end of check
 2clause.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 14 column 10 in BAD_ASSERTION1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_assertion1.e):
 7         check
 8         ^    
 9Line 15 column 16 in BAD_ASSERTION1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_assertion1.e):
10            x := 3;
11               ^   
12------