8
48%
master: 57%

Ran 03 Dec 2018 11:05AM UTC

Files 79

Run time 4s

Badge

Embed ▾

Committed 03 Dec 2018 10:58AM UTC coverage: 48.181% (+0.009%) from 48.172%

Job # CI_TARGET=coverage-vorm

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

30119 of 62512 relevant lines covered (48.18%)

189093.1 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 562.8 (CI_TARGET=coverage-vorm)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 562.8 (CI_TARGET=coverage-vorm)

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

README BADGES
x