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

New Missed Lines in Diff

Lines Coverage ∆ File
3
62.77
 -0.28% nopol/src/main/java/fr/inria/lille/repair/common/config/Config.java
3
75.25
 -1.1% nopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java
14
0.0
 0.0% nopol/src/main/java/fr/inria/lille/repair/Main.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
87.5
 0.0% nopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java
3
0.0
 0.0% nopol/src/main/java/fr/inria/lille/repair/Main.java
Jobs
ID Job ID Ran Files Coverage
1 207.1 261
55.62
 Travis Job 207.1
2 207.2 261
55.1
 Travis Job 207.2
Source Files on build 207