Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / oversampling / streams_acsl.c @ 6a93d814

History | View | Annotate | Download (34 Bytes)

1 6a93d814 xthirioux
2
/*@ axiomatic Stream {
3

4
  
5
}
6
*/