%description: Test overflows %file: test.ned simple Test { parameters: @isNetwork; // 2^63 = 9.223372037e18 int justOK = int(9.2e18); int tooBig = int(9.3e18); } %activity: EV << ".\n"; %exitcode: 1 %contains-regex: stderr Overflow casting 9300000000000000000\.0+ to the target integer type