1
85%
master: 84%

Ran 24 Sep 2017 02:16AM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 24 Sep 2017 02:02AM UTC coverage: 85.28%. First build

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

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Print final values of variables when a result is debugged.

In the debugger, ever time a result is proven, we print the final
value of each variable which

* Appears in the final unifier
* Is not a Fresh or Anon variable
* Is bound to a non-variable term

Closes #11

Run Details

1095 of 1284 relevant lines covered (85.28%)

0.85 hits per line

jbearer / hspl / 135 / 1
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 135.1 (ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 135 / 1 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 135.1 (ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 135 / 1
85%
master: 84%

README BADGES
x