SpoonLabs / nopol / 207
62%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 261
Run time 2min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
207

push

travis-ci

tdurieux 
Fix #60: global and build patch timeout

* Fix #60: feat timeout with 10 minutes by default

* feat: add timeout on genesis on SMTSynthesize

* timeout on type: 5 minutes by default

* timeout on type: 5 minutes by default

* change seconds to minutes

35 of 35 new or added lines in 5 files covered. (100.0%)

5679 of 10304 relevant lines covered (55.11%)

1.1 hits per line

Uncovered Changes

Lines Coverage ∆ File
14
100.0
 nopol/src/main/java/fr/inria/lille/repair/Main.java
3
100.0
 nopol/src/main/java/fr/inria/lille/repair/common/config/Config.java
3
100.0
 nopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java

Coverage Regressions

Lines Coverage ∆ File
3
100.0
 nopol/src/main/java/fr/inria/lille/repair/Main.java
1
100.0
 nopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java
Jobs
ID Job ID Ran Files Coverage
1 207.1 0
55.62
 Travis Job 207.1
2 207.2 0
55.1
 Travis Job 207.2
Source Files on build 207
Detailed source file information is not available for this build.