1163
72%

Ran 17 Dec 2016 06:52AM UTC

Jobs 1

Files 104

Run time 5s

Badge

Embed ▾

pending completion

Build # 1163

Build Type

push

travis-ci

Committed by

msakai

Commit Message

ToySolver.Internal.Data.Vec: change resizeCapacity to allocate capacity big enough compared to the current number of elements.

This change is to avoid slowdown when resizeCapacity is called repeatedly.
A particular case is that ToySolver.BitVector.Solver calls ToySolver.SAT.newVars repeatedly and ToySolver.SAT.newVars uses resizeCapacity internally.

Run Details

10875 of 14549 relevant lines covered (74.75%)

1.42 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1163.1 (CABALVER=1.18 GHCVER=7.8.4 COVERAGE=1)	17 Dec 2016 06:52AM UTC	0	74.75	Travis Job 1163.1

Source Files on build 1163

Detailed source file information is not available for this build.

msakai / toysolver / 1163
72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1163

msakai / toysolver / 1163 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1163

msakai / toysolver / 1163
72%

README BADGES
x