[Eva] Updates the tests to use -eva-domains instead of options -eva-name-domain.
New experimental warning for the traces domain.
Showing
- tests/builtins/test_config_apron 1 addition, 1 deletiontests/builtins/test_config_apron
- tests/builtins/test_config_bitwise 1 addition, 1 deletiontests/builtins/test_config_bitwise
- tests/builtins/test_config_equalities 1 addition, 1 deletiontests/builtins/test_config_equalities
- tests/builtins/test_config_gauges 1 addition, 1 deletiontests/builtins/test_config_gauges
- tests/builtins/test_config_octagons 1 addition, 1 deletiontests/builtins/test_config_octagons
- tests/builtins/test_config_symblocs 1 addition, 1 deletiontests/builtins/test_config_symblocs
- tests/test_config_apron 1 addition, 1 deletiontests/test_config_apron
- tests/test_config_bitwise 1 addition, 1 deletiontests/test_config_bitwise
- tests/test_config_equalities 1 addition, 1 deletiontests/test_config_equalities
- tests/test_config_gauges 1 addition, 1 deletiontests/test_config_gauges
- tests/test_config_octagons 1 addition, 1 deletiontests/test_config_octagons
- tests/test_config_symblocs 1 addition, 1 deletiontests/test_config_symblocs
- tests/value/domains.i 1 addition, 1 deletiontests/value/domains.i
- tests/value/equality.c 1 addition, 1 deletiontests/value/equality.c
- tests/value/numerors/numerors.c 1 addition, 1 deletiontests/value/numerors/numerors.c
- tests/value/numerors/oracle/numerors.res.oracle 1 addition, 1 deletiontests/value/numerors/oracle/numerors.res.oracle
- tests/value/octagons.c 1 addition, 1 deletiontests/value/octagons.c
- tests/value/traces/oracle/test1.res.oracle 1 addition, 0 deletionstests/value/traces/oracle/test1.res.oracle
- tests/value/traces/oracle/test2.res.oracle 1 addition, 0 deletionstests/value/traces/oracle/test2.res.oracle
- tests/value/traces/oracle/test3.res.oracle 1 addition, 0 deletionstests/value/traces/oracle/test3.res.oracle
Loading
Please register or sign in to comment