[tests] Compare the generated code just after running Value. Use gcc_x86_64 as...
[tests] Compare the generated code just after running Value. Use gcc_x86_64 as machdep for all these tests. [tests] call testrun.sh in test_config in order to compile and run the generated code. This code is no more the one being compared with the oracle (see above item).
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/addrOf.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/addrOf.i
- src/plugins/e-acsl/tests/e-acsl-runtime/alias.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/alias.i
- src/plugins/e-acsl/tests/e-acsl-runtime/arith.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/arith.i
- src/plugins/e-acsl/tests/e-acsl-runtime/array.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/array.i
- src/plugins/e-acsl/tests/e-acsl-runtime/at.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/at.i
- src/plugins/e-acsl/tests/e-acsl-runtime/call.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/call.c
- src/plugins/e-acsl/tests/e-acsl-runtime/cast.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/cast.i
- src/plugins/e-acsl/tests/e-acsl-runtime/comparison.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/comparison.i
- src/plugins/e-acsl/tests/e-acsl-runtime/compound_initializers.c 1 addition, 1 deletion...ugins/e-acsl/tests/e-acsl-runtime/compound_initializers.c
- src/plugins/e-acsl/tests/e-acsl-runtime/false.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/false.i
- src/plugins/e-acsl/tests/e-acsl-runtime/freeable.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/freeable.c
- src/plugins/e-acsl/tests/e-acsl-runtime/function_contract.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/function_contract.i
- src/plugins/e-acsl/tests/e-acsl-runtime/ghost.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/ghost.i
- src/plugins/e-acsl/tests/e-acsl-runtime/init.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/init.c
- src/plugins/e-acsl/tests/e-acsl-runtime/integer_constant.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/integer_constant.i
- src/plugins/e-acsl/tests/e-acsl-runtime/invariant.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/invariant.i
- src/plugins/e-acsl/tests/e-acsl-runtime/labeled_stmt.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/labeled_stmt.i
- src/plugins/e-acsl/tests/e-acsl-runtime/lazy.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/lazy.i
- src/plugins/e-acsl/tests/e-acsl-runtime/linear_search.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/linear_search.i
- src/plugins/e-acsl/tests/e-acsl-runtime/literal_string.i 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/literal_string.i
Loading
Please register or sign in to comment