4
83%
master: 84%

Ran 27 Aug 2017 06:02PM UTC

Files 10

Run time 0s

Badge

Embed ▾

Committed 27 Aug 2017 05:53PM UTC coverage: 83.391% (-1.7%) from 85.112%

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

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Simplify logic state interface.

Rather than having two state types and objects, one for backtracking
state and one for global state, we only have one state. The state must
be an instance of a class that lets us split the state into global and
backtracking components, and then later recombine those components.
With that, since we have only one state object, we can implement the
regular MonadState class and do away with MonadLogicState.

Run Details

959 of 1150 relevant lines covered (83.39%)

0.83 hits per line

jbearer / hspl / 101 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 101 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 101 / 4
83%
master: 84%

README BADGES
x