DRMacIver / testmachine / 30 / 1

Ran 05 Feb 2014 09:32PM UTC

Files 12

Run time –

Badge

Embed ▾

Committed 05 Feb 2014 09:27PM UTC coverage: 89.739% (-0.2%) from 89.981%

Job # 30.1

Build Type

push

travis-ci

Committed by

DRMacIver

Commit Message

Working towards being able to run in a child process.

Essential ideas:

  1. You need to be able to simulate a test machine execution without
     actually running it. This requires operations to have a "simulate"
     method.
  2. This at first seemed to require much stronger guarantees about the
     effects of operations. In the end it doesn't because you can just
     write the simulate method, but this is a nicer way to spec them
     anyway. You can still write the full generality if you want.

Run Details

481 of 536 relevant lines covered (89.74%)

0.9 hits per line

DRMacIver / testmachine / 30 / 1

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 30.1

DRMacIver / testmachine / 30 / 1

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 30.1

README BADGES
x