/test/language/error_warning_msg/bad_constant5.msg

1****** Fatal Error: Overflow while computing "2^63"
2
3Line 14 column 26 in BAD_CONSTANT5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constant5.e):
4         integer_64 := 2 ^ 63
5                         ^   
6------