49
83%
master: 84%

Ran 08 May 2017 09:07AM UTC

Jobs 1

Files 4

Run time 0s

Badge

Embed ▾

pending completion

Build # 49

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Implement an interactive debugger for HSPL programs.

This is accomplished by altering the main solver algorithm to use
a continuation-based control flow which allows third parties to
hook into interesting events during the runtime.

The debugger is one such party. It currently provides basic
navigation commands, such as step, next, and finish. The mechanism
is general enough to allow the implementation of many more commands,
including printing the goal stack, printing the list of alternatives
of the current goal, forcing the current goal to succeed or fail, etc.
However, the basic functionality provided here should be enough to
aid in the development of nontrivial HSPL programs, which can in turn
be used to stress the prover.

Run Details

299 of 391 relevant lines covered (76.47%)

0.76 hits per line

Jobs

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

Source Files on build 49

Detailed source file information is not available for this build.

jbearer / hspl / 49
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 49

jbearer / hspl / 49 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 49

jbearer / hspl / 49
83%
master: 84%

README BADGES
x