[Tests] tests/spec does not use @EVA_CONFIG@ by default

tests/spec/array_typedef.c

tests/spec/assigns_result.i

tests/spec/assigns_void.c

tests/spec/behavior_assert.c

tests/spec/default_assigns_bts0966.i

tests/spec/generalized_check.i

tests/spec/kw.c

tests/spec/logic_def.c

tests/spec/oracle/assigns_void.0.res.oracle

tests/spec/oracle/preprocess.res.oracle

tests/spec/oracle/statement_behavior.res.oracle

tests/spec/preprocess.c

tests/spec/shifts.c

tests/spec/statement_behavior.c

tests/spec/test_config