5
83%
master: 84%

Ran 30 Apr 2017 06:29AM UTC

Files 2

Run time 0s

Badge

Embed ▾

Committed 30 Apr 2017 06:21AM UTC coverage: 69.737% (+0.9%) from 68.852%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

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

jbearer / hspl / 44 / 5
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 44.5 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 44 / 5 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 44.5 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 44 / 5
83%
master: 84%

README BADGES
x