preprocess_dos.c.in 277 Bytes
Newer Older
1
/* run.config*
2
COMMENT: Don't edit directly preprocess_dos.c, but preprocess_dos.c.in
3
4
5
6
7
8
9
10
11
12
13
@DONTRUN@
OPT: -cpp-command="@PTEST_DIR@/@PTEST_NAME@.sh @UNIX2DOS@ %i %o" -cpp-frama-c-compliant -print
*/

int main() {
    int a = 0;
    /*@
        assert a == 0;
    */
    return a;
}