blob: 5c3c77ea5bded65046f1f1282109674f9d1bf5f6 (
plain) (
blame)
1
2
3
4
|
sources/0201_assign_cst2.c:2.0-11: [ x in [-oo;+oo], y in [-oo;+oo] ]
sources/0201_assign_cst2.c:4.0-11: [ x in [12;12], y in [-oo;+oo] ]
sources/0201_assign_cst2.c:7.0-11: [ x in [99;99], y in [15;15] ]
Output: [ x in [99;99], y in [15;15] ]
|
