Skip to content
Snippets Groups Projects
Commit b1064352 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[tests] avoid race condition in test

When tests are run in parallel, using the same name for two test outputs might
truncate it before it is written, leading to a non-deterministic oracle.
parent fd21193c
No related branches found
No related tags found
No related merge requests found
/* run.config*
STDOPT: +"-machdep gcc_x86_32 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
STDOPT: +"-machdep msvc_x86_64 -print -ocode @PTEST_NAME@_reparse.c -then @PTEST_NAME@_reparse.c -ocode=''"
STDOPT: +"-machdep gcc_x86_32 -print -ocode @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -then @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -ocode=''"
STDOPT: +"-machdep msvc_x86_64 -print -ocode @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -then @PTEST_NAME@_@PTEST_NUMBER@_reparse.c -ocode=''"
EXIT: 1
STDOPT:
*/
......
[kernel] Parsing empty_union.i (no preprocessing)
[kernel] Parsing empty_union_reparse.c (with preprocessing)
[kernel] Parsing empty_union_0_reparse.c (with preprocessing)
/* Generated by Frama-C */
union empty {
......
[kernel] Parsing empty_union.i (no preprocessing)
[kernel] Parsing empty_union_reparse.c (with preprocessing)
[kernel] Parsing empty_union_1_reparse.c (with preprocessing)
/* Generated by Frama-C */
union empty {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment