source: Deliverables/D5.1/cost-plug-in/plugin/tests/bubble_sort.c @ 1462

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 688 bytes
Line 
1
2#define SIZE 5
3
4void swap (int tab[], int i, int j) {
5  int t;
6  t = tab[i] ; tab[i] = tab[j] ; tab[j] = t;
7}
8
9void bubble_sort(int tab[], int size) {
10  int i, j, min, min_index;
11
12  for (i = 0 ; i < size ; i++) {
13    min_index = i;
14    min = tab[min_index];
15    for (j = 0 ; j < size ; j++) {
16      if ((j > i) && (tab[j] < min)) {
17        min_index = j;
18        min = tab[min_index];
19      }
20    }
21    swap(tab, i, min_index);
22  }
23}
24
25/*
26void print_tab (int tab[], int size) {
27  int i;
28
29  for (i = 0 ; i < size ; i++) {
30    print_sint(tab[i]);
31    space();
32  }
33  newline();
34}
35
36int main () {
37  int tab[SIZE] = {26, -21, 43, -62, 8};
38
39  bubble_sort(tab, SIZE);
40  print_tab(tab, SIZE);
41
42  return 0;
43}
44*/
Note: See TracBrowser for help on using the repository browser.