blob: b061688f9cf01c962ada18bb4b09bec41ee5aa94 (
plain)
1
2
3
4
5
6
7
8
9
|
// RUN: %boogie -noVerify %s > %t
// RUN: %diff NoErrors.expect %t
// Test to parse large integer literals
axiom 1234567890987654321 == 1234567890987654321;
function f(int) returns (int);
axiom f(1234567890987654321) == 0;
|