1
72%
master: 72%

Ran 17 Dec 2016 06:52AM UTC

Files 104

Run time 5s

Badge

Embed ▾

Committed 17 Dec 2016 06:28AM UTC coverage: 74.747% (+0.5%) from 74.23%

Job # CABALVER=1.18 GHCVER=7.8.4 COVERAGE=1

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

msakai / toysolver / 1163 / 1
72%
master: 72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1163.1 (CABALVER=1.18 GHCVER=7.8.4 COVERAGE=1)

msakai / toysolver / 1163 / 1 72% master: 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1163.1 (CABALVER=1.18 GHCVER=7.8.4 COVERAGE=1)

msakai / toysolver / 1163 / 1
72%
master: 72%

README BADGES
x