[Ptests] Allows 'FILTER: diff %{dep:../oracle/@PTESTS_ORACLE@}' to compare the...
[Ptests] Allows 'FILTER: diff %{dep:../oracle/@PTESTS_ORACLE@}' to compare the current log file with the corresponding oracle of another configuration
Showing
- Makefile 7 additions, 2 deletionsMakefile
- ptests/ptests.ml 10 additions, 6 deletionsptests/ptests.ml
- ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.0.res.oracle 1 addition, 0 deletions...ests/without-test_config/oracle/ptest-macros.0.res.oracle
- ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.1.res.oracle 1 addition, 0 deletions...ests/without-test_config/oracle/ptest-macros.1.res.oracle
- ptests/tests/cmd/tests/without-test_config/ptest-macros.i 5 additions, 0 deletionsptests/tests/cmd/tests/without-test_config/ptest-macros.i
- tests/ptests_config_apron 1 addition, 0 deletionstests/ptests_config_apron
- tests/ptests_config_bitwise 1 addition, 0 deletionstests/ptests_config_bitwise
- tests/ptests_config_equalities 1 addition, 0 deletionstests/ptests_config_equalities
- tests/ptests_config_octagons 1 addition, 0 deletionstests/ptests_config_octagons
- tests/ptests_config_symblocs 1 addition, 0 deletionstests/ptests_config_symblocs
- tests/test_config_apron 2 additions, 0 deletionstests/test_config_apron
- tests/test_config_bitwise 3 additions, 1 deletiontests/test_config_bitwise
- tests/test_config_equalities 2 additions, 0 deletionstests/test_config_equalities
- tests/test_config_octagons 2 additions, 0 deletionstests/test_config_octagons
- tests/test_config_symblocs 2 additions, 0 deletionstests/test_config_symblocs
Loading
Please register or sign in to comment