562
48%
master: 57%

Ran 03 Dec 2018 11:04AM UTC

Jobs 3

Files 79

Run time 5min

Badge

Embed ▾

pending completion

Build # 562

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

30014 of 62219 relevant lines covered (48.24%)

495435.21 hits per line

Jobs

ID	Job ID	Ran	Coverage
8	562.8 (CI_TARGET=coverage-vorm)	03 Dec 2018 11:05AM UTC	48.18	Travis Job 562.8
9	562.9 (CI_TARGET=coverage-tvorm)	03 Dec 2018 11:04AM UTC	47.92	Travis Job 562.9
10	562.10 (CI_TARGET=coverage-parvorm)	03 Dec 2018 11:10AM UTC	47.18	Travis Job 562.10

tueda / form / 562
48%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 562

tueda / form / 562 48% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 562

tueda / form / 562
48%
master: 57%

README BADGES
x