Commit ef390339 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] add test for dos line ending pre-processing

parent 3052868a
[kernel] Parsing tests/spec/preprocess_dos.c (with preprocessing)
/* Generated by Frama-C */
int main(void)
{
int a = 0;
/*@ assert a ≡ 0; */ ;
return a;
}
/* run.config*
OPT: -cpp-command="@PTEST_DIR@/@PTEST_NAME@.sh %i %o" -cpp-frama-c-compliant -print
*/
int main() {
int a = 0;
/*@
assert a == 0;
*/
return a;
}
#!/bin/sh
gcc -C -E -I. -o $2 $1
dos2unix -q $2
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment