← Back to branch summary

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

« back to all changes in this revision

Viewing changes to tests/journal/control2.c

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/journal/control2.c
 
1
/* run.config
 
2
  EXECNOW: BIN control_journal2.ml ./bin/toplevel.opt -memory-footprint 1 -val -deps -out -main f -journal-name tests/journal/result/control_journal2 tests/journal/control2.c > /dev/null 2> /dev/null
 
3
  EXECNOW: make -s tests/journal/result/control_journal2.cmo
 
4
  EXECNOW: LOG control2_sav.res LOG control2_sav.err BIN control_journal-next2.ml ./bin/toplevel.byte -load-journal tests/journal/result/control_journal2.cmo -lib-entry -journal-name tests/journal/result/control_journal-next2 tests/journal/control2.c > ./tests/journal/result/control2_sav.res 2> ./tests/journal/result/control2_sav.err
 
5
  EXECNOW: make -s tests/journal/result/control_journal-next2.cmo
 
6
  CMD: ./bin/toplevel.byte
 
7
  OPT: -load-journal tests/journal/result/control_journal-next2.cmo
 
8
*/
 
9
 
 
10
int x,y,c,d;
 
11
 
 
12
 
 
13
void f() {
 
14
  int i;
 
15
  for(i=0; i<4 ; i++) {
 
16
    if (c) { if (d) {y++;} else {x++;}}
 
17
    else {};
 
18
    x=x+1;
 
19
    }
 
20
}