[Tests] @EVA_CONFIG@ contents the default plugin list for eva

tests/builtins/big_local_array.i

tests/builtins/from_result.c

tests/builtins/malloc-deps.c

tests/builtins/malloc-size-zero.c

tests/builtins/malloc.c

tests/builtins/malloc_bug_tr.c

tests/builtins/malloc_memexec.c

tests/builtins/malloc_multiple.c

tests/builtins/memcpy_invalid.c

tests/builtins/test_config

tests/builtins/write-const.c

tests/float/absorb.c

tests/float/alarms.i

tests/float/builtins.c

tests/float/cond.c

tests/float/const.i

tests/float/extract_bits.i

tests/float/init_float.i

tests/float/nonlin.c

tests/float/precise_cos_sin.c