44
83%
master: 84%

Ran 30 Apr 2017 06:29AM UTC

Jobs 1

Files 2

Run time 1s

Badge

Embed ▾

pending completion

Build # 44

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Provide an interface for unifying a clause with a goal.

The clause is first renamed with fresh variables (which requires
a significant infrastructure). The mgu for the positive literal and
the goal is then computed and applied to each of the negative literals.

Run Details

159 of 228 relevant lines covered (69.74%)

0.7 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
5	44.5 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	30 Apr 2017 06:29AM UTC	0	69.74	Travis Job 44.5

Source Files on build 44

Detailed source file information is not available for this build.

jbearer / hspl / 44
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 44

jbearer / hspl / 44 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 44

jbearer / hspl / 44
83%
master: 84%

README BADGES
x