[Eva] Renames ptests configs equalities into equality, and octagons into octagon.
According to the name of the corresponding domains.
Showing
- tests/builtins/oracle_equality/alloc_weak.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/alloc_weak.res.oracle
- tests/builtins/oracle_equality/allocated.1.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/allocated.1.res.oracle
- tests/builtins/oracle_equality/imprecise.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/imprecise.res.oracle
- tests/builtins/oracle_equality/linked_list.1.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/linked_list.1.res.oracle
- tests/builtins/oracle_equality/malloc-optimistic.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/malloc-optimistic.res.oracle
- tests/builtins/oracle_equality/write-const.res.oracle 0 additions, 0 deletionstests/builtins/oracle_equality/write-const.res.oracle
- tests/builtins/oracle_octagon/allocated.0.res.oracle 0 additions, 0 deletionstests/builtins/oracle_octagon/allocated.0.res.oracle
- tests/builtins/oracle_octagon/allocated.1.res.oracle 0 additions, 0 deletionstests/builtins/oracle_octagon/allocated.1.res.oracle
- tests/builtins/oracle_octagon/imprecise.res.oracle 0 additions, 0 deletionstests/builtins/oracle_octagon/imprecise.res.oracle
- tests/builtins/oracle_octagon/linked_list.1.res.oracle 0 additions, 0 deletionstests/builtins/oracle_octagon/linked_list.1.res.oracle
- tests/builtins/oracle_octagon/malloc-optimistic.res.oracle 0 additions, 0 deletionstests/builtins/oracle_octagon/malloc-optimistic.res.oracle
- tests/builtins/test_config_equality 0 additions, 0 deletionstests/builtins/test_config_equality
- tests/builtins/test_config_octagon 0 additions, 0 deletionstests/builtins/test_config_octagon
- tests/float/oracle_equality/alarms.0.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/alarms.0.res.oracle
- tests/float/oracle_equality/alarms.1.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/alarms.1.res.oracle
- tests/float/oracle_equality/cond.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/cond.res.oracle
- tests/float/oracle_equality/const3.1.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/const3.1.res.oracle
- tests/float/oracle_equality/dr.2.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/dr.2.res.oracle
- tests/float/oracle_equality/nonlin.1.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/nonlin.1.res.oracle
- tests/float/oracle_equality/nonlin.2.res.oracle 0 additions, 0 deletionstests/float/oracle_equality/nonlin.2.res.oracle
Loading
Please register or sign in to comment