[Ptests] runs in one step from a list of test directories
Showing
- Makefile 2 additions, 29 deletionsMakefile
- ptests/dune 1 addition, 1 deletionptests/dune
- ptests/dune-project 1 addition, 2 deletionsptests/dune-project
- ptests/ptests.ml 233 additions, 251 deletionsptests/ptests.ml
- src/plugins/wp/tests/ptests_config 5 additions, 1 deletionsrc/plugins/wp/tests/ptests_config
- src/plugins/wp/tests/ptests_config_qualif 0 additions, 1 deletionsrc/plugins/wp/tests/ptests_config_qualif
- tests/ptests_config 23 additions, 1 deletiontests/ptests_config
- tests/ptests_config_apron 0 additions, 1 deletiontests/ptests_config_apron
- tests/ptests_config_bitwise 0 additions, 1 deletiontests/ptests_config_bitwise
- tests/ptests_config_equalities 0 additions, 1 deletiontests/ptests_config_equalities
- tests/ptests_config_octagons 0 additions, 1 deletiontests/ptests_config_octagons
- tests/ptests_config_symblocs 0 additions, 1 deletiontests/ptests_config_symblocs
Loading
Please register or sign in to comment