Adjust stdio.c test to write a test file in the temporary directory rather than
into the project's root
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_stdout2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/stdout.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/stdout.c
Loading
Please register or sign in to comment