9
48%
master: 57%

Ran 03 Dec 2018 11:04AM UTC

Files 79

Run time 5s

Badge

Embed ▾

Committed 03 Dec 2018 10:58AM UTC coverage: 47.918% (+0.01%) from 47.906%

Job # CI_TARGET=coverage-tvorm

Build Type

push

travis-ci

Committed by

tueda

Commit Message

Input file name "-" to use stdin as input

This patch makes FORM read the input from the standard input rather than
a file when "-" is given in the command line option.

Example:
  cat <<END | form -
  #:workspace 1234K
  #:wtimestats on
  On setup;
  S x;
  L F = (1+x)^2;
  P;
  .end
  END

Run Details

32018 of 66818 relevant lines covered (47.92%)

181281.85 hits per line

tueda / form / 562 / 9
48%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 562.9 (CI_TARGET=coverage-tvorm)

tueda / form / 562 / 9 48% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 562.9 (CI_TARGET=coverage-tvorm)

tueda / form / 562 / 9
48%
master: 57%

README BADGES
x