blob: bd8f380686e7193d8ca6c7c5700c144650900713 (
plain) (
blame)
1
2
3
4
5
|
sources/0502_loop_infinite2.c:3.2-4.2: [ x in [0;0] ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in [-1;-1] ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in [-2;-2] ]
sources/0502_loop_infinite2.c:3.2-4.2: [ x in [-oo;-3] ]
Output: bottom
|
