135
85%
master: 84%

Ran 24 Sep 2017 02:16AM UTC

Jobs 1

Files 12

Run time 0s

Badge

Embed ▾

pending completion

Build # 135

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	135.1 (ARGS="" TESTARGS="--coverage --haddock")	24 Sep 2017 02:16AM UTC	0	85.28	Travis Job 135.1

Source Files on build 135

Detailed source file information is not available for this build.

jbearer / hspl / 135
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 135

jbearer / hspl / 135 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 135

jbearer / hspl / 135
85%
master: 84%

README BADGES
x