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

« back to all changes in this revision

Viewing changes to tests/jessie/array_double.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/jessie/array_double.c

 

1

typedef struct

 

2

{

 

3

  char   Texte[10][10] ;

 

4

} T_CompositionPage ;

 

5

 

 

6

T_CompositionPage Page;

 

7

 

 

8

//void StrCpy(char* s);

 

9

 

 

10

/*@ axiomatic EqMessage {

 

11

  @   predicate eq_message{L}(char *s, integer m);

 

12

  @ }

 

13

  @*/

 

14

 

 

15

void f();

 

16

 

 

17

//@ ensures eq_message(Page.Texte[9],0);

 

18

void f() {

 

19

  //  StrCpy(Page.Texte[9]);

 

20

}

 

21

 

 

22

/* 

 

23

Local Variables:

 

24

compile-command: "LC_ALL=C make array_double"

 

25

End:

 

26

*/

• Older »

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