MACRO: EVA_DEFAULT_OPTIONS -eva-msg-key=progress,-summary

PLUGIN: eva,scope,inout occurrence
OPT: @EVA_OPTIONS@ -occurrence -occurrence-verbose 1

# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config files
MACRO: EVA_OPTIONS @EVA_DEFAULT_OPTIONS@
