Merge branch 'feature/patrick/test-exec-from-result-dir' into 'master'

[Tests] test command are executed from result directories

See merge request frama-c/frama-clang!159

.gitlab-ci.yml

@@ -27,6 +27,8 @@ tests-on-llvm-10:
   stage: tests
   script:
    - nix/frama-ci.sh build -A frama-clang.on-llvm10.tests
+  tags:
+   - nix
   when: manual
 
 tests-on-llvm-11:

tests/basic/oracle/aggregate.res.oracle

-[kernel] Parsing tests/basic/aggregate.cpp (external front-end)
+[kernel] Parsing aggregate.cpp (external front-end)
 Now output intermediate result
 [eva] Analyzing a complete application starting at main
 [eva] Computing initial state

tests/basic/oracle/anonymous_struct.res.oracle

-[kernel] Parsing tests/basic/anonymous_struct.cpp (external front-end)
+[kernel] Parsing anonymous_struct.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 struct _frama_c_vmt_content {

tests/basic/oracle/array_2d_1987.res.oracle

-[kernel] Parsing tests/basic/array_2d_1987.cpp (external front-end)
+[kernel] Parsing array_2d_1987.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 int a[3][4];

tests/basic/oracle/array_field.res.oracle

-[kernel] Parsing tests/basic/array_field.cc (external front-end)
+[kernel] Parsing array_field.cc (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function malloc can't throw any exception
 [kernel] Warning: Assuming declared function free can't throw any exception

tests/basic/oracle/asm.res.oracle

-[kernel] Parsing tests/basic/asm.cc (external front-end)
+[kernel] Parsing asm.cc (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 int main(void)

tests/basic/oracle/assign_lval.res.oracle

-[kernel] Parsing tests/basic/assign_lval.cpp (external front-end)
+[kernel] Parsing assign_lval.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 int y;

tests/basic/oracle/bitfields.res.oracle

-[kernel] Parsing tests/basic/bitfields.cc (external front-end)
+[kernel] Parsing bitfields.cc (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 struct _frama_c_vmt_content {

tests/basic/oracle/brace_or_equal_initializer.res.oracle

-[kernel] Parsing tests/basic/brace_or_equal_initializer.cpp (external front-end)
+[kernel] Parsing brace_or_equal_initializer.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 struct _frama_c_vmt_content {

tests/basic/oracle/c_link.res.oracle

-[kernel] Parsing tests/basic/c_link.cc (external front-end)
+[kernel] Parsing c_link.cc (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function f can't throw any exception
 [kernel] Warning: Assuming declared function f can't throw any exception

tests/basic/oracle/cast.res.oracle

-[kernel] Parsing tests/basic/cast.cc (external front-end)
+[kernel] Parsing cast.cc (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 void *foo<void*>(void *x)

tests/basic/oracle/constant.res.oracle

-[kernel] Parsing tests/basic/constant.cpp (external front-end)
+[kernel] Parsing constant.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 int f<3>(void)

tests/basic/oracle/decayed_type.res.oracle

-[kernel] Parsing tests/basic/decayed_type.cpp (external front-end)
+[kernel] Parsing decayed_type.cpp (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function foo can't throw any exception
 /* Generated by Frama-C */

tests/basic/oracle/default_args.res.oracle

-[kernel] Parsing tests/basic/default_args.cc (external front-end)
+[kernel] Parsing default_args.cc (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 struct _frama_c_vmt_content {

tests/basic/oracle/delete_all_kind.res.oracle

-[kernel] Parsing tests/basic/delete_all_kind.cpp (external front-end)
+[kernel] Parsing delete_all_kind.cpp (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function malloc can't throw any exception
 [kernel] Warning: Assuming declared function malloc can't throw any exception

tests/basic/oracle/delete_free_warn_1946.res.oracle

-[kernel] Parsing tests/basic/delete_free_warn_1946.cpp (external front-end)
+[kernel] Parsing delete_free_warn_1946.cpp (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function free can't throw any exception
 /* Generated by Frama-C */

tests/basic/oracle/empty_arg_list_bts1506.res.oracle

-[kernel] Parsing tests/basic/empty_arg_list_bts1506.cpp (external front-end)
+[kernel] Parsing empty_arg_list_bts1506.cpp (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function f can't throw any exception
 [kernel] Warning: Assuming declared function g can't throw any exception

tests/basic/oracle/empty_fun.res.oracle

-[kernel] Parsing tests/basic/empty_fun.cc (external front-end)
+[kernel] Parsing empty_fun.cc (external front-end)
 Now output intermediate result
 [kernel] Warning: Assuming declared function bla can't throw any exception
 [kernel] Warning: Assuming declared function bla can't throw any exception

tests/basic/oracle/enum.res.oracle

-[kernel] Parsing tests/basic/enum.cc (external front-end)
+[kernel] Parsing enum.cc (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 enum foo {

tests/basic/oracle/enum_neg_const.0.res.oracle

-[kernel] Parsing tests/basic/enum_neg_const.cpp (external front-end)
+[kernel] Parsing enum_neg_const.cpp (external front-end)
 Now output intermediate result
 /* Generated by Frama-C */
 enum foo {