path: root/tests/results/0323_if_or.intervals.txt



                                                            
sources/0323_if_or.c:3.22-34: [ x in [10;20], y in [30;40] ]
sources/0323_if_or.c:4.7-19: [ x in [10;14], y in [30;34] ]
Output: [ x in [10;20], y in [30;40] ]
sources/0323_if_or.c:3.22-34: [ x in [10;20], y in [30;40] ]
sources/0323_if_or.c:4.7-19: [ x in [10;14], y in [30;34] ]
Output: [ x in [10;20], y in [30;40] ]