blob: f1e959771f71cc853302e0e76b0ee6d0dd859974 (
plain) (
blame)
1
2
3
4
5
6
|
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;0], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;3], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;6], N in [1;1000] ]
sources/0505_loop_rel2.c:4.2-5.2: [ x in [0;999], N in [1;1000] ]
sources/0505_loop_rel2.c:7.0-22: ERROR: assertion failure
Output: [ N in [0;1000], x in [0;1002] ]
|
