summaryrefslogblamecommitdiff
path: root/tests/results/0503_loop_nondet.constants.txt
blob: 1002f30e3ee1a1b7aef1ac57c286eff8ca2e3a9e (plain) (tree)
1
2
3
4
5




                                                
sources/0503_loop_nondet.c:3.2-4.2: [ x in {0} ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in {1} ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in {2} ]
sources/0503_loop_nondet.c:3.2-4.2: [ x in top ]
Output: [ x in top ]