vermaseren / form / 289

48%

master: 49%

Pull #265

travis-ci

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

52 of 52 new or added lines in 4 files covered. (100.0%)

29993 of 62198 relevant lines covered (48.22%)

495431.09 hits per line