Test suite for temporal analysis

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/tests/temporal/oracle/gen_t_args.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_array.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_char.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_darray.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_dpointer.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_fptr.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_fun_lib.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_fun_ptr.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_global_init.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_labels.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_lit_string.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_local_init.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_malloc-asan.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_malloc.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_memcpy.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_scope.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_struct.c

src/plugins/e-acsl/tests/temporal/oracle/gen_t_while.c