5
83%
master: 84%

Ran 08 May 2017 09:07AM UTC

Files 4

Run time 0s

Badge

Embed ▾

Committed 08 May 2017 09:02AM UTC coverage: 76.471%. Remained the same

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

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x