50
84%

Ran 08 May 2017 09:31AM UTC

Jobs 1

Files 3

Run time 1s

Badge

Embed ▾

pending completion

Build # 50

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. The interface of the solver
consists of a single entry point returning an opaque structure,
together with a handful of functions for extracting information
from that data structure. This allows the client to choose the type
of information and level of detail they want.

Run Details

196 of 267 relevant lines covered (73.41%)

0.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
5	50.5 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	08 May 2017 09:31AM UTC	0	73.41	Travis Job 50.5

Source Files on build 50

Detailed source file information is not available for this build.

jbearer / hspl / 50
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

jbearer / hspl / 50 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

jbearer / hspl / 50
84%

README BADGES
x