~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/misc/loop_join.c

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

tests/misc/loop_join.c

 

1

int U[10000];

 

2

void main () {

 

3

  int i;

 

4

  i=0;

 

5

  while(1)

 

6

    {

 

7

      U[i]=0;

 

8

      if (i == 200) U[i]=-1;

 

9

      i = 1000 - i;

 

10

      if (i < 500)

 

11

        i++;

 

12

      if (i == 400)

 

13

        goto l_end_loop;

 

14

      }

 

15

 l_end_loop:

 

16

}

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1