[tests] New macro EVA_OPTIONS for the -eva- options used in the tests.
Separate from EVA_CONFIG, which also disables the other plugins.
Showing
- tests/builtins/test_config 2 additions, 1 deletiontests/builtins/test_config
- tests/builtins/test_config_apron 2 additions, 1 deletiontests/builtins/test_config_apron
- tests/builtins/test_config_bitwise 2 additions, 1 deletiontests/builtins/test_config_bitwise
- tests/builtins/test_config_equalities 2 additions, 1 deletiontests/builtins/test_config_equalities
- tests/builtins/test_config_gauges 2 additions, 1 deletiontests/builtins/test_config_gauges
- tests/builtins/test_config_symblocs 2 additions, 1 deletiontests/builtins/test_config_symblocs
- tests/test_config 2 additions, 1 deletiontests/test_config
- tests/test_config_apron 2 additions, 1 deletiontests/test_config_apron
- tests/test_config_bitwise 2 additions, 1 deletiontests/test_config_bitwise
- tests/test_config_equalities 2 additions, 1 deletiontests/test_config_equalities
- tests/test_config_gauges 2 additions, 1 deletiontests/test_config_gauges
- tests/test_config_symblocs 2 additions, 1 deletiontests/test_config_symblocs
Loading
Please register or sign in to comment