45
83%
master: 84%

Ran 03 May 2017 06:48PM UTC

Jobs 1

Files 3

Run time 1s

Badge

Embed ▾

pending completion

Build # 45

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Implement the main proof engine.

The solver is capable of finding all proofs of a given goal which
follow from a given set of clauses. There are various entry points
to the solver depending on the type and detail of the information
in which the client is interested.

Run Details

189 of 259 relevant lines covered (72.97%)

0.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
5	45.5 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	03 May 2017 06:48PM UTC	0	72.97	Travis Job 45.5

Source Files on build 45

Detailed source file information is not available for this build.

jbearer / hspl / 45
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 45

jbearer / hspl / 45 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 45

jbearer / hspl / 45
83%
master: 84%

README BADGES
x