Spirals-Team / librepair / 439

54%

push

travis-ci

Adapt to g5k (#202)

* Change dockerpool to distinguish between path for dockerpool serialized files and docker container logs and files (useful when using g5k) #197

* Change launcher option to make docker log path and container path required

* Change documentation. Fix checkstyle

* Add a new dump of database. Add main method for bears serializers.

* Add a new variable to create a suffix for run id

36 of 36 new or added lines in 2 files covered. (100.0%)

816 of 2531 relevant lines covered (32.24%)

0.32 hits per line